SOTER: A Runtime Assurance Framework for Programming Safe Robotics Systems.

Ankush Desai, Shromona Ghosh, Sanjit A. Seshia, Natarajan Shankar, Ashish Tiwari

Browse the full DSN paper archive.