par Bruyère, Véronique;Filiot, Emmanuel 
;Randour, Mickael ;Raskin, Jean-François
Référence Information and computation, 254, 2, page (259-295)
Publication Publié, 2017-06
;Randour, Mickael ;Raskin, Jean-François Référence Information and computation, 254, 2, page (259-295)
Publication Publié, 2017-06
Article révisé par les pairs
| Titre: |
|
| Auteur: | Bruyère, Véronique; Filiot, Emmanuel; Randour, Mickael; Raskin, Jean-François |
| Informations sur la publication: | Information and computation, 254, 2, page (259-295) |
| Statut de publication: | Publié, 2017-06 |
| Sujet CREF: | Informatique appliquée logiciel |
| Informatique générale | |
| Informatique mathématique | |
| Mots-clés: | Beyond worst-case synthesis |
| Markov decision process | |
| Mean-payoff | |
| Shortest path | |
| Two-player quantitative game on graph | |
| Worst-case and expected value | |
| Note générale: | SCOPUS: ar.j |
| Langue: | Anglais |
| Identificateurs: | urn:issn:0890-5401 |
| info:doi/10.1016/j.ic.2016.10.011 | |
| info:pii/S0890540116300967 | |
| info:scp/85018757157 |
