25 citations · 25 across the 1 of their papers we have counts for
2 papers
cs.RO2021★ 25 cited
Verified Synthesis of Optimal Safety Controllers for Human-Robot Collaboration
Mario Gleirscher, Radu Calinescu, James Douthwaite +5
We present a tool-supported approach for the synthesis, verification and validation of the control software responsible for the safety of the human-robot interaction in manufacturi…
cs.RO2020
Challenges in the Safety-Security Co-Assurance of Collaborative Industrial Robots
Mario Gleirscher, Nikita Johnson, Panayiotis Karachristou +3
The coordinated assurance of interrelated critical properties, such as system safety and cyber-security, is one of the toughest challenges in critical systems engineering. In this…