@misc{indiciaecf1a7eab65b6,
  title = {SOTER: A Runtime Assurance Framework for Programming Safe Robotics Systems},
  author = {Ankush Desai and Shromona Ghosh and Sanjit A. Seshia and Natarajan Shankar and Ashish Tiwari},
  year = {2019},
  url = {https://arxiv.org/abs/1808.07921},
  note = {Source identifier: 1808.07921}
}