Proceedings Sixth International Workshop on Formal Methods for Autonomous Systems
Matt Luckcuck (University of Nottingham, UK), Mengwei Xu (University, of Newcastle, UK)
TL;DR
The FMAS 2024 workshop presented recent advances in applying formal methods to autonomous systems, highlighting new techniques, challenges, and solutions discussed by researchers in the field.
Contribution
This volume compiles recent research papers from FMAS 2024, showcasing novel formal methods approaches specifically tailored for autonomous systems.
Findings
Introduction of new formal verification techniques for autonomous systems
Case studies demonstrating improved safety guarantees
Identification of key challenges in formal methods application
Abstract
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 November 2024. FMAS 2024 was co-located with 19th International Conference on integrated Formal Methods (iFM'24), hosted by the University of Manchester in the United Kingdom, in the University of Manchester's Core Technology Facility.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.