Verified Synthesis of Optimal Safety Controllers for Human-Robot Collaboration

Gleirscher, Mario, Calinescu, Radu, Douthwaite, James et al. (5 more authors) (2021) Verified Synthesis of Optimal Safety Controllers for Human-Robot Collaboration. Science of Computer Programming. 102809. ISSN 0167-6423



Copyright, Publisher and Additional Information: © 2022 The Author(s). Published by Elsevier B.V.
Keywords: software engineering,controller synthesis,formal verification,probabilistic model checking,code generation,risk modelling,human-robot collaboration,cobot safety,manufacturing automation,digital twin
  • Published (online): 4 April 2022
  • Published: 2021
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Depositing User: Pure (York)
Date Deposited: 09 Jun 2021 11:30
Last Modified: 16 Nov 2022 00:36
Published Version:
Status: Published online
Refereed: Yes
Identification Number:


Filename: ctrsyn_preprint.pdf

Description: ctrsyn-preprint

Licence: CC-BY 2.5

Filename: 1_s2.0_S0167642322000429_main.pdf

Description: 1-s2.0-S0167642322000429-main

Licence: CC-BY 2.5

Share / Export