%0 Journal Article %1 journals/tac/BalkanVT18 %A Balkan, Ayca %A Vardi, Moshe Y. %A Tabuada, Paulo %D 2018 %J IEEE Trans. Automat. Contr. %K %N 1 %P 196-202 %T Mode-Target Games: Reactive Synthesis for Control Applications. %U http://dblp.uni-trier.de/db/journals/tac/tac63.html#BalkanVT18 %V 63

@article{journals/tac/BalkanVT18, added-at = {2023-12-13T08:12:38.000+0100}, author = {Balkan, Ayca and Vardi, Moshe Y. and Tabuada, Paulo}, biburl = {https://www.bibsonomy.org/bibtex/23abfec5ea805bee6c147466284f9595e/admin}, ee = {https://www.wikidata.org/entity/Q59843403}, interhash = {c1c6788f60a61855e71e62d556cba06f}, intrahash = {3abfec5ea805bee6c147466284f9595e}, journal = {IEEE Trans. Automat. Contr.}, keywords = {}, number = 1, pages = {196-202}, timestamp = {2023-12-13T08:12:38.000+0100}, title = {Mode-Target Games: Reactive Synthesis for Control Applications.}, url = {http://dblp.uni-trier.de/db/journals/tac/tac63.html#BalkanVT18}, volume = 63, year = 2018 }