Formal Specification and Verification of Autonomous Robotic Systems: A Survey



Luckcuck, Matt ORCID: 0000-0002-6444-9312, Farrell, Marie ORCID: 0000-0001-7708-3877, Dennis, Louise A ORCID: 0000-0003-1426-1896, Dixon, Clare ORCID: 0000-0002-4610-9533 and Fisher, Michael
(2019) Formal Specification and Verification of Autonomous Robotic Systems: A Survey. ACM COMPUTING SURVEYS, 52 (5). 5-.

Access the full-text of this item by clicking on the Open Access link.
[img] Text
1807.00048v1.pdf - Submitted version

Download (537kB)

Abstract

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 has received some attention in the literature, but no resource provides a current overview. This paper systematically surveys the state-of-the-art in formal specification and verification for autonomous robotics. Specially, it identifies and categorises the challenges posed by, the formalisms aimed at, and the formal approaches for the specification and verification of autonomous robotics.

Item Type: Article
Additional Information: 32 pages (in this format) resubmitted to ACM CSUR
Uncontrolled Keywords: Formal verification, formal specification, autonomous robotics, formal methods
Depositing User: Symplectic Admin
Date Deposited: 11 Jul 2018 09:41
Last Modified: 06 May 2023 21:49
DOI: 10.1145/3342355
Open Access URL: https://dl.acm.org/citation.cfm?id=3342355
Related URLs:
URI: https://livrepository.liverpool.ac.uk/id/eprint/3023618