E. Altman, Constrained Markov decision processes, 1999.
URL : https://hal.archives-ouvertes.fr/inria-00074109

C. Courcoubetis and M. Yannakakis, Markov decision processes and regular events, IEEE Transactions on Automatic Control, vol.43, issue.10, pp.1399-1418, 1998.
DOI : 10.1109/9.720497

K. Etessami, M. Kwiatkowska, M. Y. Vardi, and M. Yannakakis, Multiobjective model checking of markov decision processes, Proc. of the 13th int. conf. on Tools and algorithms for the construction and analysis of systems, p.5065, 2007.

H. Hansson and B. Jonsson, A logic for reasoning about time and reliability', Formal Aspects of Computing, pp.512-535, 1994.

A. Kolobov, M. Mausam, S. Daniel, H. Weld, and . Geffner, Heuristic search for generalized stochastic shortest path MDPs, 21st Int. Conference on Automated Planning and Scheduling, 2011.

M. Kwiatkowska, G. Norman, and D. Parker, Probabilistic symbolic model checking with PRISM: a hybrid approach, International Journal on Software Tools for Technology Transfer, vol.24, issue.2, pp.128-142, 2004.
DOI : 10.1007/s10009-004-0140-2

L. Martin and . Puterman, Markov Decision Processes: Discrete Stochastic Dynamic Programming, 1994.

F. Teichteil-königsbuch, G. Infantes, and C. Seguin, Lazy forward-chaining methods for probabilistic model-checking, European Safety And Reliability Conference (ESREL 2011), 2011.
DOI : 10.1201/b11433-47