@misc{indiciae7863e43c70eb,
  title = {Environmentally-friendly GR(1) Synthesis},
  author = {Rupak Majumdar and Nir Piterman and Anne-Kathrin Schmuck},
  year = {2019},
  url = {https://arxiv.org/abs/1902.05629},
  note = {Source identifier: 1902.05629}
}