@misc{indiciae04a0b85f07d0,
  title = {ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans},
  author = {Anna Lukina and Lukas Esterle and Christian Hirsch and Ezio Bartocci and Junxing Yang and Ashish Tiwari and Scott A. Smolka and Radu Grosu},
  year = {2016},
  url = {https://arxiv.org/abs/1612.07059},
  note = {Source identifier: 1612.07059}
}