par Raskin, Jean-François
Référence Dependable Software Systems Engineering, IOS Press, Vol. 45, page (179-201)
Publication Publié, 2016-04
Référence Dependable Software Systems Engineering, IOS Press, Vol. 45, page (179-201)
Publication Publié, 2016-04
Partie d'ouvrage collectif
Titre: |
|
Auteur: | Raskin, Jean-François |
Informations sur la publication: | Dependable Software Systems Engineering, IOS Press, Vol. 45, page (179-201) |
Statut de publication: | Publié, 2016-04 |
Sujet CREF: | Généralités |
Mots-clés: | Energy games |
Mean-payoff games | |
Reactive systems | |
Synthesis | |
Two-player games played on graphs | |
Note générale: | SCOPUS: ch.b |
Langue: | Anglais |
Identificateurs: | urn:isbn:9781614996262 |
info:doi/10.3233/978-1-61499-627-9-179 | |
info:scp/84979988120 |