TY  - JOUR

T1  - Verified synthesis of optimal safety controllers for human-robot collaboration.

JO  - Sci. Comput. Program.

PY  - 2022/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  - 218

SP  - 102809

EP  - 102809

Y2  - 2024/12/25

ER  -