This special issue invites authors from the previous five years of international workshop on Formal Methods for Autonomous Systems (FMAS), and new work that has not been presented at FMAS, to showcase the advances of formal methods for autonomous systems.
------------
Guest editors:
------------
------------
Dr Matt Luckcuck,
------------
University of Nottingham, Nottingham, United Kingdom
------------
Areas of Expertise: Formal Methods, Autonomous Systems, Model Checking
------------
------------
Dr Marie Farrell
------------
University of Manchester, Manchester, United Kingdom
------------
Areas of Expertise: Formal Methods, Autonomous Robotic Systems, Software Verification
------------
------------
Dr Mario Gleirscher,
------------
University of Bremen, Bremen, Germany
------------
Areas of Expertise: Control Theory, Hybrid Systems, Supervisory Control, Intelligent Robotics
------------
------------
Jun.-Prof. Dr Maike Schwammberger
------------
Karlsruhe Institute of Technology, Karlsruhe, Germany
------------
Areas of Expertise: Real-Time Systems, Spatio-Temporal Logics, Model Checking