MODE-TARGET GAMES: REACTIVE SYNTHESIS FOR CONTROL APPLICATIONS
| Title | MODE-TARGET GAMES: REACTIVE SYNTHESIS FOR CONTROL APPLICATIONS |
| Publication Type | Journal Article |
| Year of Publication | 2015 |
| Authors | Balkan, Ayca, VARDI, MOSHE, Tabuada, Paulo |
| Journal | arXiv preprint arXiv:1504.07702 |
| Keywords | 1552668 |
| URL | https://pdfs.semanticscholar.org/a5c5/33d6214839a2b4102013e09f2ab44b20ed14.pdf |
| Citation Key | balkan2015mode |