235 citations · 356 across the 13 of their papers we have counts for
Showing cs.ROShow all
2 papers · 1 filter
cs.RO2019★ 12 cited
A New Simulation Metric to Determine Safe Environments and Controllers for Systems with Unknown Dynamics
Shromona Ghosh, Somil Bansal, Alberto Sangiovanni-Vincentelli +2
We consider the problem of extracting safe environments and controllers for reach-avoid objectives for systems with known state and control spaces, but unknown dynamics. In a given…
cs.RO2018
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-…