@inproceedings{BrenguierClementeHunterPerezRandourRaskinSankurSassolas:survey:LATA16,
    Author = {Brenguier, Romain and Clemente, Lorenzo and Hunter, Paul and P{\'e}rez, Guillermo A. and Randour, Mickael and Raskin, Jean-Fran{\c{c}}ois and Sankur, Ocan and Sassolas, Mathieu},
    BookTitle = {Proc. of LATA'16},
    Editor = {Dediu, Adrian-Horia and Janou{\v{s}}ek, Jan and Mart{\'\i}n-Vide, Carlos and Truthe, Bianca},
    File = {10.1007\%2F978-3-319-30000-9\_1 (0) - a - a - k.pdf},
    ISBN = {978-3-319-30000-9},
    Pages = {3--23},
    Publisher = {Springer},
    Title = {Non-Zero Sum Games for Reactive Synthesis},
    URL = {http://dx.doi.org/10.1007/978-3-319-30000-9\_1},
    Year = {2016},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-319-30000-9\_1},
    date-added = {2016-03-22 15:41:08 +0000},
    date-modified = {2016-08-02 08:09:01 +0000},
    doi = {10.1007/978-3-319-30000-9_1}
}

@inproceedings{BrenguierClementeHunterPerezRandourRaskinSankurSassolas:survey:LATA16, Author = {Brenguier, Romain and Clemente, Lorenzo and Hunter, Paul and P{\'e}rez, Guillermo A. and Randour, Mickael and Raskin, Jean-Fran{\c{c}}ois and Sankur, Ocan and Sassolas, Mathieu}, BookTitle = {Proc. of LATA'16}, Editor = {Dediu, Adrian-Horia and Janou{\v{s}}ek, Jan and Mart{\'\i}n-Vide, Carlos and Truthe, Bianca}, File = {10.1007\%2F978-3-319-30000-9_1 (0) - a - a - k.pdf}, ISBN = {978-3-319-30000-9}, Pages = {3--23}, Publisher = {Springer}, Title = {Non-Zero Sum Games for Reactive Synthesis}, URL = {http://dx.doi.org/10.1007/978-3-319-30000-9_1}, Year = {2016}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-319-30000-9_1}, date-added = {2016-03-22 15:41:08 +0000}, date-modified = {2016-08-02 08:09:01 +0000}, doi = {10.1007/978-3-319-30000-9_1} }