TY  - RPRT
TI  - Modular Verification of Autonomous Space Robotics
AU  - Marie Farrell
AU  - Rafael C. Cardoso
AU  - Louise A. Dennis
AU  - Clare Dixon
AU  - Michael Fisher
AU  - Georgios Kourtis
AU  - Alexei Lisitsa
AU  - Matt Luckcuck
AU  - Matt Webster
PY  - 2019
UR  - https://arxiv.org/abs/1908.10738
ID  - 1908.10738
ER  -