✳flâneur — a map of the web's best reading

EPTCS 411: Formal Methods for Autonomous Systems

arxiv.org · 1,911 words · saved by 1 readers

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. The goal of the FMAS workshop series is to bring together leading researchers who are using formal methods to tackle the unique challenges that autonomous systems present, so that they can publish and discuss their work with a growing community of researchers. 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 in a robotic system, so that they can interact with the real world. As such, they exhibit the properties of safety-critical, cyber-physical, hybrid,

EPTCS 411: Formal Methods for Autonomous Systems arXiv:2411.13215v1 [cs.LO] 20 Nov 2024 DOI: 10.4204/EPTCS.411 ISSN: 2075-2180 EPTCS 411 Proceedings Sixth International Workshop on Formal Methods for Autonomous Systems Manchester, UK, 11th and 12th of November 2024 Edited by: Matt Luckcuck and Mengwei Xu Preface Matt Luckcuck and Mengwei Xu Invited Talk: Self-Adaptation in Autonomous Systems Silvia Lizeth Tapia Tarifa Invited Talk: Proof for Industrial Systems using Neural Certificates Daniel Kröning Autonomous System Safety Properties with Multi-Machine Hybrid Event-B Richard Banach 1

Explore this link on the map →

related reading