SOTER on ROS: A Run-Time Assurance Framework on the Robot Operating System.

Sumukh Shivakumar, Hazem Torfah, Ankush Desai, Sanjit A. Seshia

Browse the full RV paper archive.