C. Baier, E. M. Clarke, V. Hartonas-garmhausen, M. Z. Kwiatkowska, and M. Ryan, Symbolic model checking for probabilistic processes, ICALP, pp.430-440, 1997.
DOI : 10.1007/3-540-63165-8_199

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

E. M. Clarke, O. Grumberg, and D. A. , Peled. Model Checking, 1999.

L. De-alfaro, M. Z. Kwiatkowska, G. Norman, D. Parker, and R. Segala, Symbolic Model Checking of Probabilistic Processes Using MTBDDs and the Kronecker Representation, TACAS, pp.395-410, 2000.
DOI : 10.1007/3-540-46419-0_27

D. Henriques, J. 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

M. Z. Kwiatkowska, G. Norman, and D. Parker, PRISM 4.0: Verification of Probabilistic Real-Time Systems, CAV, pp.585-591, 2011.
DOI : 10.1007/3-540-45657-0_17

URL : https://hal.archives-ouvertes.fr/hal-00648035

A. Legay, B. Delahaye, and S. Bensalem, Statistical Model Checking: An Overview, In RV Lecture Notes in Computer Science, vol.6418, pp.122-135, 2010.
DOI : 10.1007/978-3-642-16612-9_11

URL : https://hal.archives-ouvertes.fr/inria-00591593