Matt Luckcuck, Marie Farrell, Louise A. Dennis, Clare Dixon, Michael Fisher. Formal Specification and Verification of Autonomous Robotic Systems: A Survey. ACM Computing Surveys, 52(5), 2019. [doi]
@article{LuckcuckFDDF19,
title = {Formal Specification and Verification of Autonomous Robotic Systems: A Survey},
author = {Matt Luckcuck and Marie Farrell and Louise A. Dennis and Clare Dixon and Michael Fisher},
year = {2019},
doi = {10.1145/3342355},
url = {https://doi.org/10.1145/3342355},
tags = {Isabelle/HOL, robotics, KeyMaera},
researchr = {https://researchr.org/publication/LuckcuckFDDF19},
cites = {0},
citedby = {0},
journal = {ACM Computing Surveys},
volume = {52},
number = {5},
}