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: | Informatique générale |
| 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 |
