280 citations · 450 across the 27 of their papers we have counts for
29 papers
Predictive Varanus: Combining CSP Conformance Monitoring with Predictive LTL Runtime Verification
Angelo Ferrando, Matt Luckcuck, Pedro Ribeiro
Runtime Verification is well suited to autonomous and robotic systems because it checks the behaviour that is actually observed during execution. Its main limitation, however, is t…
Engineering Reliable Autonomous Systems: Challenges and Solutions
Marie Farrell, Matt Luckcuck, Angelo Ferrando +28
Engineering reliable autonomous systems is an important and growing topic in computer science. As autonomous systems become more prevalent, easy-to-use techniques for building them…
An Abstract Architecture for Explainable Autonomy in Hazardous Environments
Matt Luckcuck, Hazel M Taylor, Marie Farrell
Autonomous robotic systems are being proposed for use in hazardous environments, often to reduce the risks to human workers. In the immediate future, it is likely that human worker…
Proceedings Seventh International Workshop on Formal Methods for Autonomous Systems
Matt Luckcuck, Maike Schwammberger, Mengwei Xu
This EPTCS volume contains the papers from the Seventh International Workshop on Formal Methods for Autonomous Systems (FMAS 2025), which was held between the 17th and 19th of Nove…
Revisiting Formal Methods for Autonomous Robots: A Structured Survey
Atef Azaiez, David A. Anisi, Marie Farrell +1
This paper presents the initial results from our structured literature review on applications of Formal Methods (FM) to Robotic Autonomous Systems (RAS). We describe our structured…
Varanus: Runtime Verification for CSP
Matt Luckcuck, Angelo Ferrando, Fatma Faruq
Autonomous systems are often used in changeable and unknown environments, where traditional verification may not be suitable. Runtime Verification (RV) checks events performed by a…
Adventures in FRET and Specification
Marie Farrell, Matt Luckcuck, Rosemary Monahan +2
This paper gives an overview of previous work in which the authors used NASA's Formal Requirement Elicitation Tool (FRET) to formalise requirements. We discuss four case studies wh…
Proceedings Sixth International Workshop on Formal Methods for Autonomous Systems
Matt Luckcuck, Mengwei Xu
This EPTCS volume contains the papers from the Sixth International Workshop on Formal Methods for Autonomous Systems (FMAS 2024), which was held between the 11th and 13th of Novemb…
Proceedings Fifth International Workshop on Formal Methods for Autonomous Systems
Marie Farrell, Matt Luckcuck, Mario Gleirscher +1
This EPTCS volume contains the proceedings for the Fifth International Workshop on Formal Methods for Autonomous Systems (FMAS 2023), which was held on the 15th and 16th of Novembe…
Proceedings Fourth International Workshop on Formal Methods for Autonomous Systems (FMAS) and Fourth International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE)
Matt Luckcuck, Marie Farrell
This EPTCS volume contains the joint proceedings for the fourth international workshop on Formal Methods for Autonomous Systems (FMAS 2022) and the fourth international workshop on…
A Compositional Approach to Verifying Modular Robotic Systems
Matt Luckcuck, Marie Farrell, Angelo Ferrando +3
Robotic systems used in safety-critical scenarios often rely on modular software architectures, and increasingly include autonomous components. Verifying that these modular robotic…
Modelling the Turtle Python library in CSP
Dara MacConville, Marie Farrell, Matt Luckcuck +1
Software verification is an important tool in establishing the reliability of critical systems. One potential area of application is in the field of robotics, as robots take on mor…
Why just FRET when you can Refactor? Retuning FRETISH Requirements
Matt Luckcuck, Marie Farrell, Oisín Sheridan
Formal verification of a software system relies on formalising the requirements to which it should adhere, which can be challenging. While formalising requirements from natural-lan…
Towards Refactoring FRETish Requirements
Marie Farrell, Matt Luckcuck, Oisin Sheridan +1
Like software, requirements evolve and change frequently during the development process. Refactoring is the process of reorganising software without changing its behaviour, to make…
FRETting about Requirements: Formalised Requirements for an Aircraft Engine Controller
Marie Farrell, Matt Luckcuck, Oisin Sheridan +1
[Context & motivation] Eliciting requirements that are detailed and logical enough to be amenable to formal verification is a difficult task. Multiple tools exist for requirements…
Proceedings Third Workshop on Formal Methods for Autonomous Systems
Marie Farrell, Matt Luckcuck
Autonomous systems are highly complex and present unique challenges for the application of formal methods. Autonomous systems act without human intervention, and are often embedded…
A Methodology for Developing a Verifiable Aircraft Engine Controller from Formal Requirements
Matt Luckcuck, Marie Farrell, Oisín Sheridan +1
Verification of complex, safety-critical systems is a significant challenge. Manual testing and simulations are often used, but are only capable of exploring a subset of the system…
MLFC: From 10 to 50 Planners in the Multi-Agent Programming Contest
Rafael C. Cardoso, Angelo Ferrando, Fabio Papacchini +3
In this paper, we describe the strategies used by our team, MLFC, that led us to achieve the 2nd place in the 15th edition of the Multi-Agent Programming Contest. The scenario used…
Formal Verification of a Map Merging Protocol in the Multi-Agent Programming Contest
Matt Luckcuck, Rafael C. Cardoso
Communication is a critical part of enabling multi-agent systems to cooperate. This means that applying formal methods to protocols governing communication within multi-agent syste…
Towards Compositional Verification for Modular Robotic Systems
Rafael C. Cardoso, Louise A. Dennis, Marie Farrell +2
Software engineering of modular robotic systems is a challenging task, however, verifying that the developed components all behave as they should individually and as a whole presen…
Proceedings Second Workshop on Formal Methods for Autonomous Systems
Matt Luckcuck, Marie Farrell
Autonomous systems are highly complex and present unique challenges for the application of formal methods. Autonomous systems act without human intervention, and are often embedded…
Using Formal Methods for Autonomous Systems: Five Recipes for Formal Verification
Matt Luckcuck
Formal Methods are mathematically-based techniques for software design and engineering, which enable the unambiguous description of and reasoning about a system's behaviour. Autono…
Heterogeneous Verification of an Autonomous Curiosity Rover
Rafael C. Cardoso, Marie Farrell, Matt Luckcuck +2
The Curiosity rover is one of the most complex systems successfully deployed in a planetary exploration mission to date. It was sent by NASA to explore the surface of Mars and to i…
Regulating Safety and Security in Autonomous Robotic Systems
Matt Luckcuck, Marie Farrell
Autonomous Robotics Systems are inherently safety-critical and have complex safety issues to consider (for example, a safety failure can lead to a safety failure). Before they are…