par Bruyère, Véronique;Fievet, Baptiste;Raskin, Jean-François 
;Tamines, Clément
Référence ACM transactions on computational logic, 25, 2, 14
Publication Publié, 2024-04-01
;Tamines, ClémentRéférence ACM transactions on computational logic, 25, 2, 14
Publication Publié, 2024-04-01
Article révisé par les pairs
| Titre: |
|
| Auteur: | Bruyère, Véronique; Fievet, Baptiste; Raskin, Jean-François; Tamines, Clément |
| Informations sur la publication: | ACM transactions on computational logic, 25, 2, 14 |
| Statut de publication: | Publié, 2024-04-01 |
| Sujet CREF: | Informatique mathématique |
| Logique mathématique | |
| Informatique générale | |
| Mots-clés: | Additional Key Words and PhrasesTwo-player Stackelberg games played on graphs |
| omega-regular objectives | |
| synthesis | |
| Note générale: | SCOPUS: ar.j |
| Langue: | Anglais |
| Identificateurs: | urn:issn:1529-3785 |
| info:doi/10.1145/3651162 | |
| info:scp/85190958115 |
