@misc{indiciaefebf98dce071,
  title = {Synthesis from LTL Specifications with Mean-Payoff Objectives},
  author = {Aaron Bohy and Véronique Bruyère and Emmanuel Filiot and Jean-François Raskin},
  year = {2013},
  url = {https://arxiv.org/abs/1210.3539},
  note = {Source identifier: 1210.3539}
}