|
[GC20]
Mario Gleirscher and Radu Calinescu.
Safety Controller Synthesis for Collaborative Robots.
In Proc. 25th International Conference on Engineering of Complex Computer Systems (ICECCS'20).
2020.
[Introduces techniques and tool support for automatic safety controllers in human-robot collaboration, including use of PRISM.]
|
|
Links:
[Google]
[Google Scholar]
|