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
Book Title
LATA
Year
2016
Romain Brenguier‚ Lorenzo Clemente‚ Paul Hunter‚ Guillermo A. Pérez‚ Mickael Randour‚ Jean−François Raskin‚ Ocan Sankur and Mathieu Sassolas