31 citations · 37 across the 2 of their papers we have counts for
2 papers
cs.RO2021★ 6 cited
Certified Control: An Architecture for Verifiable Safety of Autonomous Vehicles
Daniel Jackson, Valerie Richmond, Mike Wang +6
Widespread adoption of autonomous cars will require greater confidence in their safety than is currently possible. Certified control is a new safety architecture whose goal is two-…
cs.RO2015★ 31 cited
Symmetry Reduction Enables Model Checking of More Complex Emergent Behaviours of Swarm Navigation Algorithms
Laura Antuña, Dejanira Araiza-Illan, Sérgio Campos +1
The emergent global behaviours of robotic swarms are important to achieve their navigation task goals. These emergent behaviours can be verified to assess their correctness, throug…