TY  - RPRT
TI  - Synthesizing least-limiting guidelines for safety of semi-autonomous systems
AU  - Jana Tumova
AU  - Dimos V. Dimarogonas
PY  - 2016
UR  - https://arxiv.org/abs/1510.06496
ID  - 1510.06496
ER  -