@misc{indiciae12460a8afb8d,
  title = {Mode-Target Games: Reactive Synthesis for Control Applications},
  author = {Ayca Balkan and Moshe Vardi and Paulo Tabuada},
  year = {2016},
  url = {https://arxiv.org/abs/1504.07702},
  note = {Source identifier: 1504.07702}
}