par Basset, Nicolas 
;Jecker, Ismaël Robin ;Pauly, Arno ;Raskin, Jean-François ;Van Den Bogaard, Marie
Référence Leibniz international proceedings in informatics, 119, 10
Publication Publié, 2018-08
;Jecker, Ismaël Robin ;Pauly, Arno ;Raskin, Jean-François ;Van Den Bogaard, Marie Référence Leibniz international proceedings in informatics, 119, 10
Publication Publié, 2018-08
Article révisé par les pairs
| Titre: |
|
| Auteur: | Basset, Nicolas; Jecker, Ismaël Robin; Pauly, Arno; Raskin, Jean-François; Van Den Bogaard, Marie |
| Informations sur la publication: | Leibniz international proceedings in informatics, 119, 10 |
| Statut de publication: | Publié, 2018-08 |
| Sujet CREF: | Informatique générale |
| Mots-clés: | Admissible strategies |
| Cofinal | |
| Dominated strategies | |
| Games played on finite graphs | |
| Order theory | |
| Reachability games | |
| Reactive synthesis | |
| Safety games | |
| Note générale: | SCOPUS: cp.p |
| Langue: | Anglais |
| Identificateurs: | urn:issn:1868-8969 |
| info:doi/10.4230/LIPIcs.CSL.2018.10 | |
| info:scp/85053066275 |
