TY  - RPRT
TI  - Verified Synthesis of Optimal Safety Controllers for Human-Robot Collaboration
AU  - Mario Gleirscher
AU  - Radu Calinescu
AU  - James Douthwaite
AU  - Benjamin Lesage
AU  - Colin Paterson
AU  - Jonathan Aitken
AU  - Rob Alexander
AU  - James Law
PY  - 2021
DO  - 10.1016/j.scico.2022.102809
UR  - https://arxiv.org/abs/2106.06604
ID  - 2106.06604
ER  -