Matt Luckcuck

According to our database, Matt Luckcuck authored at least 31 papers between 2013 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

SIGAI Annual Report: July 1 2022 - August 30 2023.

Sanmay Das, Nicholas Mattei, John P. Dickerson, Sven Koenig, Louise A. Dennis, Larry R. Medsker, Ziyu Yao, Anuj Karpatne, Alan Tsang, Matt Luckcuck

AI Matters, September, 2023

CSP2Turtle: Verified Turtle Robot Plans.

Dara MacConville, Marie Farrell, Matt Luckcuck, Rosemary Monahan

Robotics, April, 2023

2022

SIGAI Annual Report: July 1 2021 - June 30 2022.

Sanmay Das, Nicholas Mattei, John P. Dickerson, Sven Koenig, Louise A. Dennis, Larry R. Medsker, Ziyu Yao, Anuj Karpatne, Alan Tsang, Matt Luckcuck

AI Matters, September, 2022

A Compositional Approach to Verifying Modular Robotic Systems.

Matt Luckcuck, Marie Farrell, Angelo Ferrando, Rafael C. Cardoso, Louise A. Dennis, Michael Fisher

CoRR, 2022

Modelling the Turtle Python library in CSP.

Dara MacConville, Marie Farrell, Matt Luckcuck, Rosemary Monahan

Proceedings of the Second Workshop on Agents and Robots for reliable Engineered Autonomy, 2022

Why just FRET when you can Refactor? Retuning FRETISH Requirements.

Matt Luckcuck, Marie Farrell, Oisín Sheridan

CoRR, 2022

FRETting About Requirements: Formalised Requirements for an Aircraft Engine Controller.

Marie Farrell, Matt Luckcuck, Oisín Sheridan, Rosemary Monahan

Proceedings of the Requirements Engineering: Foundation for Software Quality, 2022

An Abstract Architecture for Explainable Autonomy in Hazardous Environments.

Matt Luckcuck, Hazel M. Taylor, Marie Farrell

Proceedings of the 30th IEEE International Requirements Engineering Conference Workshops, 2022

Towards Refactoring FRETish Requirements.

Marie Farrell, Matt Luckcuck, Oisín Sheridan, Rosemary Monahan

Proceedings of the NASA Formal Methods - 14th International Symposium, 2022

A Requirements-Driven Methodology: Formal Modelling and Verification of an Aircraft Engine Controller.

Oisín Sheridan, Rosemary Monahan, Matt Luckcuck

Proceedings of the Integrated Formal Methods - 17th International Conference, 2022

2021

An Overview of Verification and Validation Challenges for Inspection Robots.

Michael Fisher, Rafael C. Cardoso, Emily C. Collins, Christopher Dadswell, Louise A. Dennis, Clare Dixon, Marie Farrell, Angelo Ferrando, Xiaowei Huang, Mike Jump, Georgios Kourtis, Alexei Lisitsa, Matt Luckcuck, Shan Luo, Vincent Pagé, Fabio Papacchini, Matt Webster

Robotics, 2021

Bridging the gap between single- and multi-model predictive runtime verification.

Angelo Ferrando, Rafael C. Cardoso, Marie Farrell, Matt Luckcuck, Fabio Papacchini, Michael Fisher, Viviana Mascardi

Formal Methods Syst. Des., 2021

A Methodology for Developing a Verifiable Aircraft Engine Controller from Formal Requirements.

Matt Luckcuck, Marie Farrell, Oisín Sheridan, Rosemary Monahan

CoRR, 2021

MLFC: From 10 to 50 Planners in the Multi-Agent Programming Contest.

Rafael C. Cardoso, Angelo Ferrando, Fabio Papacchini, Matt Luckcuck, Sven Linker, Terry R. Payne

CoRR, 2021

Evolution of the IEEE P7009 Standard: Towards Fail-Safe Design of Autonomous Systems.

Marie Farrell, Matt Luckcuck, Laura Pullum, Michael Fisher, Ali Hessami, Danit Gal, Zvikomborero Murahwi, Ken R. Wallace

Proceedings of the IEEE International Symposium on Software Reliability Engineering, 2021

Formal Verification of a Map Merging Protocol in the Multi-agent Programming Contest.

Matt Luckcuck, Rafael C. Cardoso

Proceedings of the Engineering Multi-Agent Systems - 9th International Workshop, 2021

2020

Towards Compositional Verification for Modular Robotic Systems.

Rafael C. Cardoso, Louise A. Dennis, Marie Farrell, Michael Fisher, Matt Luckcuck

Proceedings of the Proceedings Second Workshop on Formal Methods for Autonomous Systems, 2020

Another Tool in the Box: Why use Formal Methods for Autonomous Systems?

Matt Luckcuck

CoRR, 2020

Regulating Safety and Security in Autonomous Robotic Systems.

Matt Luckcuck, Marie Farrell

CoRR, 2020

Monitoring Robotic Systems using CSP: From Safety Designs to Safety Monitors.

Matt Luckcuck

CoRR, 2020

Heterogeneous Verification of an Autonomous Curiosity Rover.

Rafael C. Cardoso, Marie Farrell, Matt Luckcuck, Angelo Ferrando, Michael Fisher

Proceedings of the NASA Formal Methods - 12th International Symposium, 2020

2019

Formal Specification and Verification of Autonomous Robotic Systems: A Survey.

Matt Luckcuck, Marie Farrell, Louise A. Dennis, Clare Dixon, Michael Fisher

ACM Comput. Surv., 2019

A Summary of Formal Specification and Verification of Autonomous Robotic Systems.

Matt Luckcuck, Marie Farrell, Louise A. Dennis, Michael Fisher

CoRR, 2019

Modular Verification of Autonomous Space Robotics.

Marie Farrell, Rafael C. Cardoso, Louise A. Dennis, Clare Dixon, Michael Fisher, Georgios Kourtis, Alexei Lisitsa, Matt Luckcuck, Matt Webster

CoRR, 2019

A Summary of Formal Specification and Verification of Autonomous Robotic Systems.

Matt Luckcuck, Marie Farrell, Louise A. Dennis, Clare Dixon, Michael Fisher

Proceedings of the Integrated Formal Methods - 15th International Conference, 2019

2018

Verifiable Self-Certifying Autonomous Systems.

Michael Fisher, Emily C. Collins, Louise A. Dennis, Matt Luckcuck, Matt Webster, Mike Jump, Vincent Pagé, Charles Patchett, Fateme Dinmohammadi, David Flynn, Valentin Robu, Xingyu Zhao

Proceedings of the 2018 IEEE International Symposium on Software Reliability Engineering Workshops, 2018

Robotics and Integrated Formal Methods: Necessity Meets Opportunity.

Marie Farrell, Matt Luckcuck, Michael Fisher

Proceedings of the Integrated Formal Methods - 14th International Conference, 2018

2017

Safety-Critical Java: level 2 in practice.

Matt Luckcuck, Andy J. Wellings, Ana Cavalcanti

Concurr. Comput. Pract. Exp., 2017

2016

Safety-Critical Java Level 2: applications, modelling, and verification.

Matthew Luckcuck

PhD thesis, 2016

A Formal Model of the Safety-Critical Java Level 2 Paradigm.

Matt Luckcuck, Ana Cavalcanti, Andy J. Wellings

Proceedings of the Integrated Formal Methods - 12th International Conference, 2016

2013

Safety-critical Java level 2: motivations, example applications and issues.

Andy J. Wellings, Matt Luckcuck, Ana Cavalcanti

Proceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems, 2013