TY  - RPRT
TI  - Environmentally-friendly GR(1) Synthesis
AU  - Rupak Majumdar
AU  - Nir Piterman
AU  - Anne-Kathrin Schmuck
PY  - 2019
UR  - https://arxiv.org/abs/1902.05629
ID  - 1902.05629
ER  -