280 citations · 450 across the 27 of their papers we have counts for
7 papers · 1 filter
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…
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…
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 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…
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…
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…