@misc{indiciae155013265391,
  title = {Verified Synthesis of Optimal Safety Controllers for Human-Robot Collaboration},
  author = {Mario Gleirscher and Radu Calinescu and James Douthwaite and Benjamin Lesage and Colin Paterson and Jonathan Aitken and Rob Alexander and James Law},
  year = {2021},
  doi = {10.1016/j.scico.2022.102809},
  url = {https://arxiv.org/abs/2106.06604},
  note = {Source identifier: 2106.06604}
}