75 citations · 218 across the 23 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
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-…
eess.SY2018
Adaptive Neighborhood Resizing for Stochastic Reachability in Multi-Agent Systems
Anna Lukina, Ashish Tiwari, Scott A. Smolka +1
We present DAMPC, a distributed, adaptive-horizon and adaptive-neighborhood algorithm for solving the stochastic reachability problem in multi-agent systems, in particular flocking…