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.
We are a peer-reviewed, adacemic workshop. Previous editions of our proceedings can be found DBLP.
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.
Organising Committee
FMAS is organised by:
Dr Matt Luckcuck University of Derby, UK
Dr Marie Farrell University of Manchester, UK
Dr Maike Schwammberger Karlsruhe Institute of Technology, Germany
Dr Mario Gleirscher University of Bremen, Germany
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