1 citations · 1 across the 3 of their papers we have counts for
3 papers
Trace-Guided Synthesis of Effectful Test Generators
Zhe Zhou, Ankush Desai, Benjamin Delaware +1
Several recently proposed program logics have incorporated notions of underapproximation into their design, enabling them to reason about reachability rather than safety. In this p…
SOTER on ROS: A Run-Time Assurance Framework on the Robot Operating System
Sumukh Shivakumar, Hazem Torfah, Ankush Desai +1
We present an implementation of SOTER, a run-time assurance framework for building safe distributed mobile robotic (DMR) systems, on top of the Robot Operating System (ROS). The sa…
SOTER: A Runtime Assurance Framework for Programming Safe Robotics Systems
Ankush Desai, Shromona Ghosh, Sanjit A. Seshia +2
The recent drive towards achieving greater autonomy and intelligence in robotics has led to high levels of complexity. Autonomous robots increasingly depend on third party off-the-…