38 citations · 97 across the 7 of their papers we have counts for
Showing cs.ROShow all
2 papers · 1 filter
cs.RO2022★ 16 cited
Intersection focused Situation Coverage-based Verification and Validation Framework for Autonomous Vehicles Implemented in CARLA
Zaid Tahir, Rob Alexander
Autonomous Vehicles (AVs) i.e., self-driving cars, operate in a safety critical domain, since errors in the autonomous driving software can lead to huge losses. Statistically, road…
cs.RO2021★ 25 cited
Verified Synthesis of Optimal Safety Controllers for Human-Robot Collaboration
Mario Gleirscher, Radu Calinescu, James Douthwaite +5
We present a tool-supported approach for the synthesis, verification and validation of the control software responsible for the safety of the human-robot interaction in manufacturi…