Safety Controller Synthesis for a Mobile Manufacturing Cobot
Attributed to:
UKRI Trustworthy Autonomous Systems Node in Resilience
funded by
SPF
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1007/978-3-031-17108-6_17
Publication URI: http://dx.doi.org/10.1007/978-3-031-17108-6_17
Type: Book Chapter
Book Title: Software Engineering and Formal Methods - 20th International Conference, SEFM 2022, Berlin, Germany, September 26-30, 2022, Proceedings (2022)
Page Reference: 271-287