25 citations · 39 across the 3 of their papers we have counts for
3 papers
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…
Robot-stated limitations but not intentions promote user assistance
David Cameron, Ee Jing Loh, Adriel Chua +3
Human-Robot-Interaction (HRI) research is typically built around the premise that the robot serves to assist a human in achieving a human-led goal or shared task. However, there ar…
Collision Avoidance of Two Autonomous Quadcopters
Michalis Smyrnakis, Jonathan M. Aitken, Sandor M. Veres
Traffic collision avoidance systems (TCAS) are used in order to avoid incidences of mid-air collisions between aircraft. We present a game-theoretic approach of a TCAS designed for…