TY  - RPRT
TI  - Non-Zero Sum Games for Reactive Synthesis
AU  - Romain Brenguier
AU  - Lorenzo Clemente
AU  - Paul Hunter
AU  - Guillermo A. Pérez
AU  - Mickael Randour
AU  - Jean-François Raskin
AU  - Ocan Sankur
AU  - Mathieu Sassolas
PY  - 2015
UR  - https://arxiv.org/abs/1512.05568
ID  - 1512.05568
ER  -