S. Arora and M. V. Rao, Probabilistic model checking of incomplete models, Proceedings of ISoLA, vol.9952, pp.62-76, 2016.

S. Arora and M. V. Rao, Probabilistic model checking of incomplete models, 2017.

A. Bauer, M. Leucker, and C. Schallhart, The good, the bad, and the ugly, but how ugly is ugly? In: Proceedings of Runtime Verification, pp.126-138, 2007.

B. Boyer, K. Corre, A. Legay, and S. Sedwards, PLASMA-lab: A Flexible, Distributable Statistical Model Checking Library, vol.8054, pp.160-164, 2013.
URL : https://hal.archives-ouvertes.fr/hal-01088411

M. Chechik, S. Easterbrook, and B. Devereux, Model checking with multi-valued temporal logics, Proceedings of the 31st IEEE International Symposium on Multiple-Valued Logic, pp.187-192, 2001.
DOI : 10.1109/ismvl.2001.924571

M. Chechik, S. Easterbrook, and V. Petrovykh, Model-checking over multi-valued logics, Formal Methods for Increasing Software Productivity, pp.72-98, 2001.
DOI : 10.1007/3-540-45251-6_5
URL : http://www.cs.toronto.edu/~sme/papers/2001/FME01.pdf

X. Chen, Concentration inequalities for bounded random vectors, 2013.

H. Chernoff, A measure of asymptotic efficiency for tests of a hypothesis based on the sum of observations, Ann. Math. Statist, vol.23, issue.4, pp.493-507, 1952.

C. Courcoubetis and M. Yannakakis, The complexity of probabilistic verification, J. ACM, vol.42, issue.4, pp.857-907, 1995.

D. 'argenio, P. Legay, A. Sedwards, S. Traonouez, and L. , Smart sampling for lightweight verification of markov decision processes, STTT, vol.17, issue.4, pp.469-484, 2015.

A. David, K. G. Larsen, A. Legay, M. Mikucionis, D. B. Poulsen et al., Statistical model checking for networks of priced timed automata, Proceedings of FORMATS, vol.6919, pp.80-96, 2011.
DOI : 10.1007/978-3-642-24310-3_7

H. Fecher, M. Leucker, and V. Wolf, Don't know in probabilistic systems, Model Checking Software, pp.71-88, 2006.
DOI : 10.1007/11691617_5

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

T. Hérault, R. Lassaigne, F. Magniette, and S. Peyronnet, Approximate Probabilistic Model Checking, Proceedings of VMCAI, vol.2937, pp.73-84, 2004.

M. Huth, N. Piterman, and D. Wagner, Three-valued abstractions of markov chains: Completeness for a sizeable fragment of pctl, Fundamentals of Computation Theory, pp.205-216, 2009.

J. P. Katoen, D. Klink, M. Leucker, and V. Wolf, Three-valued abstraction for probabilistic systems, Journal of Logic and Algebraic Programming, vol.81, issue.4, pp.356-389, 2009.
DOI : 10.1016/j.jlap.2012.03.007
URL : https://doi.org/10.1016/j.jlap.2012.03.007

M. Z. Kwiatkowska, G. Norman, and D. Parker, PRISM 4.0: Verification of Probabilistic Real-Time Systems, Proceedings of CAV, vol.6806, pp.585-591, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00648035

A. Legay, B. Delahaye, and S. Bensalem, Statistical Model Checking: An Overview, Proceedings of Runtime Verification, vol.6418, pp.122-135, 2010.
DOI : 10.1007/978-3-642-16612-9_11
URL : https://hal.archives-ouvertes.fr/inria-00591593

A. Legay, S. Sedwards, and L. Traonouez, Plasma lab: A modular statistical model checking platform, ISoLA. LNCS, vol.9952, pp.77-93, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01387435

A. Legay, S. Sedwards, and L. Traonouez, Rare events for statistical model checking an overview, Reachability Problems, vol.9899, pp.23-35, 2016.
DOI : 10.1007/978-3-319-45994-3_2
URL : https://hal.archives-ouvertes.fr/hal-01387406

A. Legay and L. Traonouez, Statistical model checking of simulink models with plasma lab, Proceedings of FTSCS. Communications in Computer and Information Science, vol.596, pp.259-264, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01241249

V. C. Ngo, A. Legay, and J. Quilbeuf, Statistical model checking for systemc models, Proceedings of HASE, pp.197-204, 2016.
DOI : 10.1109/hase.2016.24
URL : https://hal.archives-ouvertes.fr/hal-01238162

M. Y. Vardi, Automatic verification of probabilistic concurrent finite state programs, Proceedings of SFCS, pp.327-338, 1985.
DOI : 10.1109/sfcs.1985.12

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

H. L. Younes, Verification and Planning for Stochastic Processes with Asynchronous Events, 2005.