C. Baier and J. Katoen, Principles of model checking, 2008.

R. Bellman, Dynamic Programming, 1957.

A. Bianco and L. De-alfaro, Model checking of probabilistic and nondeterministic systems, Foundations of Software Technology and Theoretical Computer Science, pp.499-513, 1995.
DOI : 10.1007/3-540-60692-0_70

J. Bogdoll, L. M. Fioriti, A. Hartmanns, and H. Hermanns, Partial Order Methods for Statistical Model Checking and Simulation, Formal Techniques for Distributed Systems, pp.59-74, 2011.
DOI : 10.1145/1755952.1755987

H. Chernoff, A Measure of Asymptotic Efficiency for Tests of a Hypothesis Based on the sum of Observations, The Annals of Mathematical Statistics, vol.23, issue.4, pp.493-507, 1952.
DOI : 10.1214/aoms/1177729330

E. Clarke, E. A. Emerson, and J. Sifakis, Model checking, Communications of the ACM, vol.52, issue.11, pp.74-84, 2009.
DOI : 10.1145/1592761.1592781

T. H. Cormen, C. E. Leiserson, R. L. Rivest, and C. Stein, Introduction to Algorithms, 2009.

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

A. Hartmanns and M. Timmer, On-the-Fly Confluence Detection for Statistical Model Checking, NASA Formal Methods, pp.337-351, 2013.
DOI : 10.1007/978-3-642-38088-4_23

D. Henriques, J. G. Martins, P. Zuliani, A. Platzer, and E. M. Clarke, Statistical Model Checking for Markov Decision Processes, 2012 Ninth International Conference on Quantitative Evaluation of Systems, pp.84-93, 2012.
DOI : 10.1109/QEST.2012.19

W. G. Horner, A New Method of Solving Numerical Equations of All Orders, by Continuous Approximation, Philosophical Transactions of the Royal Society of London, vol.109, issue.0, pp.308-335, 1819.
DOI : 10.1098/rstl.1819.0023

M. Kearns, Y. Mansour, and A. Y. Ng, A sparse sampling algorithm for nearoptimal planning in large Markov decision processes, Machine Learning, pp.193-208, 2002.

D. E. Knuth, The Art of Computer Programming, 1998.

M. Z. Kwiatkowska, G. Norman, and J. Sproston, Probabilistic Model Checking of the IEEE 802.11 Wireless Local Area Network Protocol, Proc. 2 nd Joint International Workshop on Process Algebra and Probabilistic Methods, Performance Modeling and Verification, pp.169-187, 2002.
DOI : 10.1007/3-540-45605-8_11

R. Lassaigne and S. Peyronnet, Approximate planning and verification for large markov decision processes, Proceedings of the 27th Annual ACM Symposium on Applied Computing, SAC '12, pp.1314-1319, 2012.
DOI : 10.1145/2245276.2231984
URL : https://hal.archives-ouvertes.fr/hal-01149843

U. Ndukwu and A. Mciver, An expectation transformer approach to predicate abstraction and data independence for probabilistic programs, Proc. 8th Workshop on Quantitative Aspects of Programming Languages, 2010.
DOI : 10.4204/EPTCS.28.9

M. Okamoto, Some inequalities relating to the partial sum of binomial probabilities, Annals of the Institute of Statistical Mathematics, vol.7, issue.1, pp.29-35, 1958.
DOI : 10.1007/BF02883985

M. L. Puterman, Markov Decision Processes: Discrete Stochastic Dynamic Programming, 1994.
DOI : 10.1002/9780470316887

A. Wald, Sequential tests of statistical hypotheses. The Annals of Mathematical Statistics, pp.117-186, 1945.

H. L. Younes and R. G. Simmons, Probabilistic Verification of Discrete Event Systems Using Acceptance Sampling, Computer Aided Verification, pp.223-235, 2002.
DOI : 10.1007/3-540-45657-0_17