Special Issue "Advances in Formal Methods for Autonomous Systems" of the Science of Computer Programming journal
Final manuscript submission deadline: June 7, 2024
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.
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.