@article{article, title  = {{Verified synthesis of optimal safety controllers for human-robot collaboration.}},

 url = {{}},

 year = {{2022}},

 month = {{1}},

 author = {{Gleirscher M and Calinescu R and Douthwaite JA and Lesage B and Paterson C and Aitken JM and Alexander R and Law J}},

 volume = {{218}},

 journal = {{Sci. Comput. Program.}},

 pages = {{102809-102809}},

 note = {{Accessed on 2024/12/25}}}