87 citations · 222 across the 33 of their papers we have counts for
Showing 2021 · cs.ROShow all
2 papers · 2 filters
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.RO2021
Maintaining driver attentiveness in shared-control autonomous driving
Radu Calinescu, Naif Alasmari, Mario Gleirscher
We present a work-in-progress approach to improving driver attentiveness in cars provided with automated driving systems. The approach is based on a control loop that monitors the…