Ankush Desai | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat AI Photo Editor Math AI

Featured Co-authors

Sanjit A. Seshia
65 publications
Ashish Tiwari
23 publications
Shromona Ghosh
14 publications
Hazem Torfah
13 publications
Natarajan Shankar
6 publications
Sumukh Shivakumar
1 publication

research

∙ 08/21/2020

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

We present an implementation of SOTER, a run-time assurance framework fo...

0 Sumukh Shivakumar, et al. ∙

research

∙ 08/23/2018

SOTER: Programming Safe Robotics System using Runtime Assurance

Autonomous robots increasingly depend on third-party off-the-shelf compo...

0 Ankush Desai, et al. ∙