FMAS Workshop Logo

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 Nottingham, UK

Dr Marie Farrell University of Manchester, UK

Jun.-Prof. Dr Maike Schwammberger Karlsruhe Institute of Technology, Germany

Dr Mario Gleirscher University of Bremen, Germany


Editions of FMAS