par Bruyère, Véronique;Perez, Guillermo A. ;Raskin, Jean-François ;Tamines, Clément
Référence Lecture notes in computer science, 11674 LNCS, page (63-78)
Publication Publié, 2019-06-01
Article révisé par les pairs
Titre:
  • Partial Solvers for Generalized Parity Games
Auteur:Bruyère, Véronique; Perez, Guillermo A.; Raskin, Jean-François; Tamines, Clément
Informations sur la publication:Lecture notes in computer science, 11674 LNCS, page (63-78)
Statut de publication:Publié, 2019-06-01
Sujet CREF:Informatique mathématique
Informatique générale
Mots-clés:Generalized parity games
Parity games
Partial solvers
Note générale:SCOPUS: cp.k
Langue:Anglais
Identificateurs:urn:issn:0302-9743
info:doi/10.1007/978-3-030-30806-3_6
info:scp/85072867190