@article{balkan2015mode,
  title={Mode-Target Games: Reactive Synthesis for Control Applications},
  author={Balkan, Ayca and Vardi, Moshe and Tabuada, Paulo},
  journal={arXiv preprint arXiv:1504.07702},
  year={2015},
  url = {https://pdfs.semanticscholar.org/a5c5/33d6214839a2b4102013e09f2ab44b20ed14.pdf},
}

{"_id":"RDMZtQhMEJaGocnZm","bibbaseid":"balkan-vardi-tabuada-modetargetgamesreactivesynthesisforcontrolapplications-2015","downloads":0,"creationDate":"2017-04-03T00:32:12.364Z","title":"Mode-Target Games: Reactive Synthesis for Control Applications","author_short":["Balkan, A.","Vardi, M.","Tabuada, P."],"year":2015,"bibtype":"article","biburl":"https://www.dyncps.org/uploads/8/0/6/8/8068963/references_final2.bib","bibdata":{"bibtype":"article","type":"article","title":"Mode-Target Games: Reactive Synthesis for Control Applications","author":[{"propositions":[],"lastnames":["Balkan"],"firstnames":["Ayca"],"suffixes":[]},{"propositions":[],"lastnames":["Vardi"],"firstnames":["Moshe"],"suffixes":[]},{"propositions":[],"lastnames":["Tabuada"],"firstnames":["Paulo"],"suffixes":[]}],"journal":"arXiv preprint arXiv:1504.07702","year":"2015","url":"https://pdfs.semanticscholar.org/a5c5/33d6214839a2b4102013e09f2ab44b20ed14.pdf","bibtex":"@article{balkan2015mode,\r\n title={Mode-Target Games: Reactive Synthesis for Control Applications},\r\n author={Balkan, Ayca and Vardi, Moshe and Tabuada, Paulo},\r\n journal={arXiv preprint arXiv:1504.07702},\r\n year={2015},\r\n url = {https://pdfs.semanticscholar.org/a5c5/33d6214839a2b4102013e09f2ab44b20ed14.pdf},\r\n}\r\n\r\n","author_short":["Balkan, A.","Vardi, M.","Tabuada, P."],"key":"balkan2015mode","id":"balkan2015mode","bibbaseid":"balkan-vardi-tabuada-modetargetgamesreactivesynthesisforcontrolapplications-2015","role":"author","urls":{"Paper":"https://pdfs.semanticscholar.org/a5c5/33d6214839a2b4102013e09f2ab44b20ed14.pdf"},"downloads":0,"html":"","metadata":{"authorlinks":{}}},"search_terms":["mode","target","games","reactive","synthesis","control","applications","balkan","vardi","tabuada"],"keywords":[],"authorIDs":[],"dataSources":["duW7N6zCCs7T9NwoJ"]}