The Workshop on Formal Methods for Autonomous Systems brings together researchers working on a range of techniques for the formal specification and verification of autonomous systems. The workshop enables researchers to present recent work in the area, discuss key difficulties, and stimulate collaboration between the robotics and formal methods communities.
This workshop is concerned with the use of formal methods to specify, model, or verify autonomous or robotic systems; in whole or in part. Submissions may focus on case studies that identify the challenges for formal methods in this area, or experience reports that provide guidelines for tackling these challenges. Work using integrated formal methods, or describing the future directions of this field, are particularly welcome.
Organisers
FMAS is organised by:
Editions of FMAS
FMAS 2023: Fifth Workshop on Formal Methods for Autonomous Systems
FMAS 2022: Fourth Workshop on Formal Methods for Autonomous Systems
FMAS 2021: Third Workshop on Formal Methods for Autonomous Systems
FMAS 2020: Second Workshop on Formal Methods for Autonomous Systems
FMAS 2019: First Workshop on Formal Methods for Autonomous Systems