Revisiting Formal Methods for Autonomous Robots: A Structured Survey

David Anisi, Atef Azaiez, Marie Farrell, Matt Luckcuck

Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

Original language	English
Title of host publication	Towards Autonomous Robotic Systems
Publisher	Springer Cham
Publication status	Published - 22 Aug 2025

Revisiting_Formal_Methods_for_Autonomous_Robots__A_Structured_Survey
Accepted author manuscript, 1.66 MB
Licence: CC BY
Embargo ends: 15/07/26

Cite this

@inproceedings{949f9470b5aa4485b55466561372a4e5,

title = "Revisiting Formal Methods for Autonomous Robots: A Structured Survey",

author = "David Anisi and Atef Azaiez and Marie Farrell and Matt Luckcuck",

year = "2025",

month = aug,

day = "22",

language = "English",

booktitle = "Towards Autonomous Robotic Systems",

publisher = "Springer Cham",

address = "Switzerland",

}