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  - 

DO  - DOI: 10.48550/arxiv.2106.06604

Y2  - 2025/12/06

ER  -