TY  - RPRT
TI  - SOTER on ROS: A Run-Time Assurance Framework on the Robot Operating System
AU  - Sumukh Shivakumar
AU  - Hazem Torfah
AU  - Ankush Desai
AU  - Sanjit A. Seshia
PY  - 2020
UR  - https://arxiv.org/abs/2008.09707
ID  - 2008.09707
ER  -