Symbolic model checking for probabilistic processes, ICALP, pp.430-440, 1997. ,
DOI : 10.1007/3-540-63165-8_199
Principles of model checking, 2008. ,
Peled. Model Checking, 1999. ,
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
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
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
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