@misc{indiciaef1e9819c1040,
  title = {Better Quality in Synthesis through Quantitative Objectives},
  author = {Roderick Bloem and Krishnendu Chatterjee and Thomas A. Henzinger and Barbara Jobstmann},
  year = {2013},
  url = {https://arxiv.org/abs/0904.2638},
  note = {Source identifier: 0904.2638}
}