A Summary of Formal Specification and Verification of Autonomous Robotic Systems
It offers a resource for researchers and practitioners in robotics and formal methods by compiling existing work, but it is incremental as it summarizes prior survey findings.
The paper summarizes a 2019 survey that provides an overview of formal specification and verification methods for autonomous robotic systems, addressing the challenge of ensuring correctness and certification beyond testing and simulation.
Autonomous robotic systems are complex, hybrid, and often safety-critical; this makes their formal specification and verification uniquely challenging. Though commonly used, testing and simulation alone are insufficient to ensure the correctness of, or provide sufficient evidence for the certification of, autonomous robotics. Formal methods for autonomous robotics have received some attention in the literature, but no resource provides a current overview. This short paper summarises the contributions of Luckcuck 2019, which surveys the state-of-the-art in formal specification and verification for autonomous robotics.