TY  - RPRT
TI  - Complete Test of Synthesised Safety Supervisors for Robots and Autonomous Systems
AU  - Mario Gleirscher
AU  - Jan Peleska
PY  - 2021
DO  - 10.4204/eptcs.348.7
UR  - https://arxiv.org/abs/2110.12589
ID  - 2110.12589
ER  -