Modular Verification of Autonomous Space Robotics. Farrell, M.; Cardoso, R. C.; Dennis, L.; Dixon, C.; Fisher, M.; Kourtis, G.; Lisitsa, A.; Luckcuck, M.; and Webster, M In Assurance of Autonomy for Robotic Space Missions Workshop, 2019. [FAIR-SPACE]bibtex @inproceedings{Farrell2019b,
author = {Farrell, M. and Cardoso, R. C. and Dennis, L. and Dixon, C. and Fisher, M. and Kourtis, G. and Lisitsa, A. and Luckcuck, M. and Webster, M},
title = {Modular Verification of Autonomous Space Robotics},
booktitle = {Assurance of Autonomy for Robotic Space Missions Workshop},
year = {2019},
note = {[<span class="fs">FAIR-SPACE</span>]}
}