Mode-Target Games: Reactive Synthesis for Control Applications. Balkan, A., Vardi, M., & Tabuada, P. arXiv preprint arXiv:1504.07702, 2015.
Mode-Target Games: Reactive Synthesis for Control Applications [pdf]Paper  bibtex   

Downloads: 0