@inbook{inbook, title = {{Safety Controller Synthesis for a Mobile Manufacturing Cobot}}, publisher = {{Springer International Publishing}}, url = {{http://dx.doi.org/10.1007/978-3-031-17108-6_17 }}, year = {{2022}}, month = {{1}}, author = {{Stefanakos I and Calinescu R and Douthwaite J and Aitken J and Law J}}, doi = {{10.1007/978-3-031-17108-6_17}}, isbn = {{9783031171079}}, pages = {{271-287}}, note = {{Accessed on 2024/12/25}}}