par Brihaye, Thomas;Bruyère, Véronique;Goeminne, Aline
;Raskin, Jean-François
;Van Den Bogaard, Marie ![](/vufind/images/ULB/publications_list.png)
Référence Logical methods in computer science, 16, 4, page (8:1-8:43)
Publication Publié, 2020-06-01
![](/vufind/images/ULB/publications_list.png)
![](/vufind/images/ULB/publications_list.png)
![](/vufind/images/ULB/publications_list.png)
Référence Logical methods in computer science, 16, 4, page (8:1-8:43)
Publication Publié, 2020-06-01
Article révisé par les pairs
Titre: |
|
Auteur: | Brihaye, Thomas; Bruyère, Véronique; Goeminne, Aline; Raskin, Jean-François; Van Den Bogaard, Marie |
Informations sur la publication: | Logical methods in computer science, 16, 4, page (8:1-8:43) |
Statut de publication: | Publié, 2020-06-01 |
Sujet CREF: | Informatique générale |
Informatique mathématique | |
Mots-clés: | Constrained existence problem |
Multiplayer non-zero-sum games played on graphs | |
Quantitative reachability objectives | |
Subgame perfect equilibria | |
Note générale: | SCOPUS: ar.j |
Langue: | Anglais |
Identificateurs: | urn:issn:1860-5974 |
info:doi/10.23638/LMCS-16(4:8)2020 | |
info:scp/85096900837 |