TY  - RPRT
TI  - A Summary of Formal Specification and Verification of Autonomous Robotic Systems
AU  - Matt Luckcuck
AU  - Marie Farrel
AU  - Louise A. Dennis
AU  - Michael Fisher
PY  - 2019
DO  - 10.1007/978-3-030-34968-4_33
UR  - https://arxiv.org/abs/1911.11597
ID  - 1911.11597
ER  -