@misc{indiciaede3d8ebc3fe1,
  title = {Assume-Admissible Synthesis},
  author = {Romain Brenguier and Jean-François Raskin and Ocan Sankur},
  year = {2015},
  url = {https://arxiv.org/abs/1507.00623},
  note = {Source identifier: 1507.00623}
}