38 citations · 97 across the 7 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
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…
cs.AI2021★ 38 cited
Coverage based testing for V&V and Safety Assurance of Self-driving Autonomous Vehicles: A Systematic Literature Review
Zaid Tahir, Rob Alexander
Self-driving Autonomous Vehicles (SAVs) are gaining more interest each passing day by the industry as well as the general public. Tech and automobile companies are investing huge a…