|
[GCD+22]
Mario Gleirscher, Radu Calinescu, James Douthwaite, Benjamin Lesage, Colin Paterson, Jonathan Aitken, Rob Alexander and James Law.
Verified Synthesis of Optimal Safety Controllers for Human-Robot Collaboration.
Science of Computer Programming.
2022.
[Presents a tool-supported approach for verified synthesis of safety controllers, using PRISM for policy construction.]
|
|
Links:
[Google]
[Google Scholar]
|