Mario Gleirscher, Radu Calinescu, James A. Douthwaite, Benjamin Lesage, Colin Paterson, Jonathan M. Aitken, Rob Alexander, James Law. Verified synthesis of optimal safety controllers for human-robot collaboration. Science of Computer Programming, 218:102809, 2022. [doi]
Abstract is missing.