%0 Journal Article %1 journals/corr/abs-2106-06604 %A Gleirscher, Mario %A Calinescu, Radu %A Douthwaite, James A. %A Lesage, Benjamin %A Paterson, Colin %A Aitken, Jonathan M. %A Alexander, Rob %A Law, James %D 2021 %J CoRR %K dblp %T Verified Synthesis of Optimal Safety Controllers for Human-Robot Collaboration. %U http://dblp.uni-trier.de/db/journals/corr/corr2106.html#abs-2106-06604 %V abs/2106.06604

@article{journals/corr/abs-2106-06604, added-at = {2023-09-30T00:00:00.000+0200}, author = {Gleirscher, Mario and Calinescu, Radu and Douthwaite, James A. and Lesage, Benjamin and Paterson, Colin and Aitken, Jonathan M. and Alexander, Rob and Law, James}, biburl = {https://www.bibsonomy.org/bibtex/2199c790553bfddc6ff5dfa66ae18c057/dblp}, ee = {https://arxiv.org/abs/2106.06604}, interhash = {eaf5e19fcf5ce33acb1d2aab3e8b3a47}, intrahash = {199c790553bfddc6ff5dfa66ae18c057}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-08T21:54:08.000+0200}, title = {Verified Synthesis of Optimal Safety Controllers for Human-Robot Collaboration.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2106.html#abs-2106-06604}, volume = {abs/2106.06604}, year = 2021 }