TY  - JOUR

T1  - Verified Synthesis of Optimal Safety Controllers for Human-Robot Collaboration.

JO  - CoRR

PY  - 2021/01/01

AU  - Gleirscher M

AU  - Calinescu R

AU  - Douthwaite JA

AU  - Lesage B

AU  - Paterson C

AU  - Aitken JM

AU  - Alexander R

AU  - Law J

ED  - 

VL  - abs/2106.06604

Y2  - 2024/12/25

ER  -