Call for Papers

Science of Computer Programming special issue on
Advances in Formal Methods for Autonomous Systems

This special issue provides an opportunity for researchers and practitioners to present theory, techniques, and applications related to the use of formal methods in the engineering, design, and analysis of autonomous systems. Papers within this special issue should present advances in the field of Formal Methods for Autonomous Systems (FMAS), whether in specification, verification, or synthesis. The topics of interest for this special issue match those of the International Workshop on Formal Methods for Autonomous Systems, and a variety of other conference venues (e.g. FM, iFM, SEFM). Specifically, we are interested in formal methods being applied to almost any kind of autonomous system.

Final manuscript submission deadline: June 7, 2024

Guest editors:

Matt Luckcuck, University of Nottingham
Marie Farrell, University of Manchester
Mario Gleirscher, University of Bremen
Maike Schwammberger, Karlsruhe Institute of Technology

Please, find more details including directions for submission at https://www.sciencedirect.com/journal/science-of-computer-programming/about/call-for-papers#advances-in-formal-methods-for-autonomous-systems

Keywords: formal verification, autonomous systems, robotic systems, runtime verification, formal specification, assurance methodologies, environment modelling.