Matt Luckcuck

Identifiers

• name variant Matt Luckcuck 0.60 · backfill

Papers (5)

1. Engineering Reliable Autonomous Systems: Challenges and Solutions cs.RO · 2026 · author #2
2. An Abstract Architecture for Explainable Autonomy in Hazardous Environments cs.RO · 2026 · author #1
3. A Formal Model of the Safety-Critical Java Level 2 Paradigm cs.SE · 2018 · author #1
4. Safety-Critical Java: Level 2 in Practice cs.SE · 2018 · author #1
5. Robotics and Integrated Formal Methods: Necessity meets Opportunity cs.SE · 2018 · author #2

Mentions

• 2606.23760 #2 · arxiv_oai · confidence 0.70 Matt Luckcuck
• 2606.07211 #1 · arxiv_oai · confidence 0.70 Matt Luckcuck

Frequent Coauthors

• Ana Cavalcanti 3 shared papers
• Marie Farrell 3 shared papers
• Andy Wellings 2 shared papers
• Michael Fisher 2 shared papers
• Angelo Ferrando 1 shared papers
• Brian Logan 1 shared papers
• Charles Lesire 1 shared papers
• Christian Colombo 1 shared papers
• Clare Dixon 1 shared papers
• Colin Paterson 1 shared papers
• Daniela Briola 1 shared papers
• Diana Benjumea Hernandez 1 shared papers
• Fabio Papacchini 1 shared papers
• Hazel M Taylor 1 shared papers
• Hazel Taylor 1 shared papers
• Huan Zhang 1 shared papers
• Jim Woodcock 1 shared papers
• Livia Lestingi 1 shared papers
• Louise A. Dennis 1 shared papers
• Luciana Brasil Rebelo dos Santos 1 shared papers