280 citations · 450 across the 27 of their papers we have counts for
6 papers · 1 filter
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…
Offline Runtime Verification of Safety Requirements using CSP
Matt Luckcuck
Dynamic formal verification is a key tool for providing ongoing confidence that a system is meeting its requirements while in use, especially when paired with static formal verific…