@misc{indiciae206bfc8b1055,
  title = {SOTER on ROS: A Run-Time Assurance Framework on the Robot Operating System},
  author = {Sumukh Shivakumar and Hazem Torfah and Ankush Desai and Sanjit A. Seshia},
  year = {2020},
  url = {https://arxiv.org/abs/2008.09707},
  note = {Source identifier: 2008.09707}
}