Luckcuck, Matt and Farrell, Marie and Dennis, Louise A. and Dixon, Clare and Fisher, Michael (2019) Formal Specification and Verification of Autonomous Robotic Systems: A Survey. ACM Computing Surveys, 52 (5). pp. 1-41. ISSN 0360-0300

Preview

Download (613kB) | Preview

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

Item Type:	Article
Keywords:	Formal verification; formal specification; autonomous robotics; formal methods;
Academic Unit:	Faculty of Science and Engineering > Computer Science
Item ID:	15092
Identification Number:	https://doi.org/10.1145/3342355
Depositing User:	Marie Farrell
Date Deposited:	06 Dec 2021 14:55
Journal or Publication Title:	ACM Computing Surveys
Publisher:	Association for Computing Machinery (ACM)
Refereed:	Yes
URI:	Publisher
Use Licence:	This item is available under a Creative Commons Attribution Non Commercial Share Alike Licence (CC BY-NC-SA). Details of this licence are available here

Repository Staff Only(login required)

Item control page

Downloads

Origin of downloads