@misc{indiciae05bca580fbf8,
  title = {Finite LTL Synthesis with Environment Assumptions and Quality Measures},
  author = {Alberto Camacho and Meghyn Bienvenu and Sheila A. McIlraith},
  year = {2018},
  url = {https://arxiv.org/abs/1808.10831},
  note = {Source identifier: 1808.10831}
}