par Condurache, Rodica;Filiot, Emmanuel ;Gentilini, Raffaella ;Raskin, Jean-François
Référence Leibniz international proceedings in informatics, 55, 121
Publication Publié, 2016-08
Article révisé par les pairs
Titre:
  • The complexity of rational synthesis
Auteur:Condurache, Rodica; Filiot, Emmanuel; Gentilini, Raffaella; Raskin, Jean-François
Informations sur la publication:Leibniz international proceedings in informatics, 55, 121
Statut de publication:Publié, 2016-08
Sujet CREF:Généralités
Mots-clés:Non-zero sum games
Omega-regular objectives
Reactive synthesis
Note générale:SCOPUS: cp.p
Langue:Anglais
Identificateurs:urn:issn:1868-8969
info:doi/10.4230/LIPIcs.ICALP.2016.121
info:scp/85012922468