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 ORCID: 0000-0002-0875-3862
(2019) Formal Specification and Verification of Autonomous Robotic Systems: A Survey. ACM COMPUTING SURVEYS, 52 (5).

[img] Text
1807.00048v1.pdf - Submitted Version

Download (537kB)
Item Type: Article
Uncontrolled Keywords: Formal verification, formal specification, autonomous robotics, formal methods
Depositing User: Symplectic Admin
Date Deposited: 11 Jul 2018 09:41
Last Modified: 08 May 2020 19:57
DOI: 10.1145/3342355
Open Access URL: https://dl.acm.org/citation.cfm?id=3342355
Related URLs:
URI: http://livrepository.liverpool.ac.uk/id/eprint/3023618