@misc{indiciae962163264d40,
  title = {Modular Verification of Autonomous Space Robotics},
  author = {Marie Farrell and Rafael C. Cardoso and Louise A. Dennis and Clare Dixon and Michael Fisher and Georgios Kourtis and Alexei Lisitsa and Matt Luckcuck and Matt Webster},
  year = {2019},
  url = {https://arxiv.org/abs/1908.10738},
  note = {Source identifier: 1908.10738}
}