TY  - RPRT
TI  - Safety Controller Synthesis for Collaborative Robots
AU  - Mario Gleirscher
AU  - Radu Calinescu
PY  - 2020
DO  - 10.1109/iceccs51672.2020.00017
UR  - https://arxiv.org/abs/2007.03340
ID  - 2007.03340
ER  -