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]
Abstract is missing.