par Brenguier, Romain ;Clemente, Lorenzo ;Hunter, Paul William ;Perez, Guillermo A. ;Randour, Mickael ;Raskin, Jean-François ;Sankur, Ocan ;Sassolas, Mathieu
Référence Language and Automata Theory and Applications - 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings, Springer, Vol. 9618, page (3-23)
Publication Publié, 2016
Publication dans des actes
Titre:
  • Non-Zero Sum Games for Reactive Synthesis
Auteur:Brenguier, Romain; Clemente, Lorenzo; Hunter, Paul William; Perez, Guillermo A.; Randour, Mickael; Raskin, Jean-François; Sankur, Ocan; Sassolas, Mathieu
Informations sur la publication:Language and Automata Theory and Applications - 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings, Springer, Vol. 9618, page (3-23)
Statut de publication:Publié, 2016
series:Lecture Notes in Computer Science
Sujet CREF:Sciences exactes et naturelles
Langue:Anglais
Identificateurs:info:doi/10.1007/978-3-319-30000-9_1
info:scp/84960375383
https://doi.org/10.1007/978-3-319-30000-9_1