Non−Zero Sum Games for Reactive Synthesis

Romain Brenguier‚ Lorenzo Clemente‚ Paul Hunter‚ Guillermo A. Pérez‚ Mickael Randour‚ Jean−François Raskin‚ Ocan Sankur and Mathieu Sassolas