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>]}
}
Downloads: 0