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

Aaron Bohy; Véronique Bruyère; Jean-François Raskin; Nathalie Bertrand

doi:10.1007/s00236-016-0255-4

Home
Submit
Browse all HAL
Inria publications
Search
Services
Help
OpenAccess
- Inria supporting open science

Journal articles

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

Aaron Bohy ¹ Véronique Bruyère ¹ Jean-François Raskin ² Nathalie Bertrand ³

1 UMons - Université de Mons

2 ULB - Université libre de Bruxelles

3 SUMO - SUpervision of large MOdular and distributed systems

Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL

Aaron Bohy ¹ AuthorId : 1211299
Author

Véronique Bruyère ¹ AuthorId : 847977

Author

Jean-François Raskin ² AuthorId : 500555

Author

Nathalie Bertrand ³ AuthorId : 165616

Author

1 UMons - Université de Mons (20, place du Parc, B7000 Mons - Belgium) StructId : 160918

2 ULB - Université libre de Bruxelles (Avenue Franklin Roosevelt 50 - 1050 Bruxelles - Belgium) StructId : 303388

3 SUMO - SUpervision of large MOdular and distributed systems (Campus de Beaulieu 35042 Rennes cedex - France) StructId : 491208

Inria Rennes – Bretagne Atlantique (Campus de beaulieu 35042 Rennes cedex - France) StructId : 419153
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France) StructId : 300009
IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL (France) StructId : 491188
- IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires (Avenue du général Leclerc Campus de Beaulieu 35042 RENNES CEDEX - France) StructId : 490899
  - UR1 - Université de Rennes 1 (2 rue du Thabor - CS 46510 - 35065 Rennes cedex - France) StructId : 105160
    - UNIV-RENNES - Université de Rennes (France) StructId : 528860
  - INSA Rennes - Institut National des Sciences Appliquées - Rennes (20, avenue des Buttes de Coësmes - CS 70839 - 35708 Rennes cedex 7 - France) StructId : 117606
    - INSA - Institut National des Sciences Appliquées (France) StructId : 301232
    - UNIV-RENNES - Université de Rennes (France) StructId : 528860
  - UBS - Université de Bretagne Sud (BP 92116 - 56321 Lorient cedex - France) StructId : 172265
  - ENS Rennes - École normale supérieure - Rennes (Campus de Ker Lann - avenue Robert Schuman - 35170 Bruz - France) StructId : 247362
  - Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France) StructId : 300009
  - CentraleSupélec (3, rue Joliot Curie, Plateau de Moulon, 91192 GIF-SUR-YVETTE Cedex - France) StructId : 411575
  - CNRS - Centre National de la Recherche Scientifique : UMR6074 (France) StructId : 441569
  - IMT Atlantique - IMT Atlantique Bretagne-Pays de la Loire (Campus Brest : Technopôle Brest-Iroise CS 8381829238 BREST Cedex 3 - Campus Nantes : 4, rue Alfred Kastler- La chantrerie 44300 NANTES - Campus Rennes : 2 Rue de la Châtaigneraie, 35510 CESSON SEVIGNE - France) StructId : 481355
    - IMT - Institut Mines-Télécom [Paris] (37-39 Rue Dareau, 75014 Paris - France) StructId : 302102

Document type :

Journal articles

Domain :

Computer Science [cs]

Complete list of metadata

Cited literature [46 references] Display Hide Download

https://hal.inria.fr/hal-01635132
Contributor : Nathalie Bertrand <>
Submitted on : Wednesday, November 15, 2017 - 4:56:22 PM
Last modification on : Friday, July 10, 2020 - 4:00:54 PM

Identifiers

HAL Id : hal-01635132, version 1
DOI : 10.1007/s00236-016-0255-4

Collections

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⟩

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

Identifiers

Collections

Citation

Export

Metrics

420

Contact Legal Notice Personal Data

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

Identifiers

Collections

Citation

Export

Share

Metrics

420

Contact Legal Notice Personal Data