TY  - RPRT
TI  - Safety Synthesis Sans Specification
AU  - Roderick Bloem
AU  - Hana Chockler
AU  - Masoud Ebrahimi
AU  - Dana Fisman
AU  - Heinz Riener
PY  - 2020
UR  - https://arxiv.org/abs/2011.07630
ID  - 2011.07630
ER  -