Proceedings Sixth International Workshop on Formal Methods for Autonomous Systems
This is an incremental collection of research aimed at improving the reliability and safety of autonomous systems for developers and engineers.
This paper is a proceedings volume for the Sixth International Workshop on Formal Methods for Autonomous Systems (FMAS 2024), containing multiple papers that address challenges in applying formal methods to autonomous systems, with results including new verification techniques and case studies, though no specific numbers are provided.
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.