TY - CHAP T1 - Safety Controller Synthesis for聽a聽Mobile Manufacturing Cobot T2 - Software Engineering and Formal Methods UR - http://dx.doi.org/10.1007/978-3-031-17108-6_17 PY - 2022/01/01 AU - Stefanakos I AU - Calinescu R AU - Douthwaite J AU - Aitken J AU - Law J ED - DO - DOI: 10.1007/978-3-031-17108-6_17 PB - Springer International Publishing SN - 9783031171079 SP - 271 EP - 287 Y2 - 2025/06/20 ER -