Alert button
Picture for Benjamin Lesage

Benjamin Lesage

Alert button

Verified Synthesis of Optimal Safety Controllers for Human-Robot Collaboration

Jun 11, 2021
Mario Gleirscher, Radu Calinescu, James Douthwaite, Benjamin Lesage, Colin Paterson, Jonathan Aitken, Rob Alexander, James Law

Figure 1 for Verified Synthesis of Optimal Safety Controllers for Human-Robot Collaboration
Figure 2 for Verified Synthesis of Optimal Safety Controllers for Human-Robot Collaboration
Figure 3 for Verified Synthesis of Optimal Safety Controllers for Human-Robot Collaboration
Figure 4 for Verified Synthesis of Optimal Safety Controllers for Human-Robot Collaboration
Viaarxiv icon