TY  - RPRT
TI  - SOTER: A Runtime Assurance Framework for Programming Safe Robotics Systems
AU  - Ankush Desai
AU  - Shromona Ghosh
AU  - Sanjit A. Seshia
AU  - Natarajan Shankar
AU  - Ashish Tiwari
PY  - 2019
UR  - https://arxiv.org/abs/1808.07921
ID  - 1808.07921
ER  -