A Summary of Formal Specification and Verification of Autonomous Robotic Systems

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) A Summary of Formal Specification and Verification of Autonomous Robotic Systems. In: Integrated Formal Methods.

Text paper_103.pdf - Author Accepted Manuscript Download (164kB) | 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 short paper summarises the contributions of Luckcuck 2019, which surveys the state-of-the-art in formal specification and verification for autonomous robotics.

Item Type:	Conference or Workshop Item (Unspecified)
Uncontrolled Keywords:	cs.SE, cs.SE
Depositing User:	Symplectic Admin
Date Deposited:	26 Sep 2019 10:51
Last Modified:	19 Jan 2023 00:25
DOI:	10.1007/978-3-030-34968-4_33
Related URLs:	Author Publisher
URI:	https://livrepository.liverpool.ac.uk/id/eprint/3055978