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

Aaron Bohy 1 Véronique Bruyère 1 Jean-François Raskin 2 Nathalie Bertrand 3
1 UMons - Université de Mons
2 ULB - Université Libre de Bruxelles [Bruxelles]
3 SUMO - SUpervision of large MOdular and distributed systems
Inria Rennes – Bretagne Atlantique , IRISA_D4 - LANGAGE ET GÉNIE LOGICIEL
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 [46 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 : mardi 12 février 2019 - 12:06:03

Identifiants

Collections

UNIV-RENNES1 | INRIA | IRISA | INRIA2017 | UR1-UFR-ISTIC | UNIV-RENNES | CENTRALESUPELEC

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〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

333

Contact


archive-ouverte@inria.fr