Romain Brenguier, Lorenzo Clemente, Paul Hunter, Guillermo A. Pérez, Mickael Randour, Jean-François Raskin, Ocan Sankur, Mathieu Sassolas. Non-Zero Sum Games for Reactive Synthesis. In Adrian Horia Dediu, Jan Janousek, Carlos Martín-Vide, Bianca Truthe, editors, Language and Automata Theory and Applications - 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings. Volume 9618 of Lecture Notes in Computer Science, pages 3-23, Springer, 2016. [doi]
@inproceedings{BrenguierCHPRRS16, title = {Non-Zero Sum Games for Reactive Synthesis}, author = {Romain Brenguier and Lorenzo Clemente and Paul Hunter and Guillermo A. Pérez and Mickael Randour and Jean-François Raskin and Ocan Sankur and Mathieu Sassolas}, year = {2016}, doi = {10.1007/978-3-319-30000-9_1}, url = {http://dx.doi.org/10.1007/978-3-319-30000-9_1}, researchr = {https://researchr.org/publication/BrenguierCHPRRS16}, cites = {0}, citedby = {0}, pages = {3-23}, booktitle = {Language and Automata Theory and Applications - 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings}, editor = {Adrian Horia Dediu and Jan Janousek and Carlos Martín-Vide and Bianca Truthe}, volume = {9618}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-319-29999-0}, }