Ankush Desai, Shromona Ghosh, Sanjit A. Seshia, Natarajan Shankar, Ashish Tiwari. SOTER: A Runtime Assurance Framework for Programming Safe Robotics Systems. In 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2019, Portland, OR, USA, June 24-27, 2019. pages 138-150, IEEE, 2019. [doi]
Abstract is missing.