Constrained Markov decision processes, 1999. ,
URL : https://hal.archives-ouvertes.fr/inria-00074109
Markov decision processes and regular events, IEEE Transactions on Automatic Control, vol.43, issue.10, pp.1399-1418, 1998. ,
DOI : 10.1109/9.720497
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. ,
A logic for reasoning about time and reliability', Formal Aspects of Computing, pp.512-535, 1994. ,
Heuristic search for generalized stochastic shortest path MDPs, 21st Int. Conference on Automated Planning and Scheduling, 2011. ,
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
Markov Decision Processes: Discrete Stochastic Dynamic Programming, 1994. ,
Lazy forward-chaining methods for probabilistic model-checking, European Safety And Reliability Conference (ESREL 2011), 2011. ,
DOI : 10.1201/b11433-47