@article{runtimeassuranceforautonomousspacecraft,
  title = {Run Time Assurance for Autonomous Spacecraft Inspection},
  author = {Kyle Dunlap and David van Wijk and Kerianne L. Hobbs},
  year = {2023},
  eprint = {2302.02885},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2302.02885v2},
}