Mode-Target Games: Reactive Synthesis for Control Applications. Balkan, A., Vardi, M., & Tabuada, P. arXiv preprint arXiv:1504.07702, 2015.
Paper bibtex @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},
}
Downloads: 0
{"_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"]}