@misc{indiciaedb527cf33a66,
  title = {Verifying safety of an autonomous spacecraft rendezvous mission},
  author = {Nicole Chan and Sayan Mitra},
  year = {2017},
  url = {https://arxiv.org/abs/1703.06930},
  note = {Source identifier: 1703.06930}
}