Symblicit algorithms for mean-payoff and shortest path in monotonic Markov decision processes

Type de document :
Article dans une revue
Acta Informatica, Springer Verlag, 2017, 54 (6), pp.545 - 587. 〈10.1007/s00236-016-0255-4〉
Liste complète des métadonnées

Littérature citée [47 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01635132
Contributeur : Nathalie Bertrand <>
Soumis le : mercredi 15 novembre 2017 - 16:56:22
Dernière modification le : jeudi 11 janvier 2018 - 06:28:14

Identifiants

Citation

Aaron Bohy, Véronique Bruyère, Jean-François Raskin, Nathalie Bertrand. Symblicit algorithms for mean-payoff and shortest path in monotonic Markov decision processes. Acta Informatica, Springer Verlag, 2017, 54 (6), pp.545 - 587. 〈10.1007/s00236-016-0255-4〉. 〈hal-01635132〉

Partager

Métriques

Consultations de la notice

150