TY  - GEN

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

T2  - arXiv

PY  - 2021/06/11

AU  - Gleirscher M

AU  - Calinescu R

AU  - Douthwaite J

AU  - Lesage B

AU  - Paterson C

AU  - Aitken J

AU  - Alexander R

AU  - Law J

ED  - 

Y2  - 2024/12/25

ER  -