C. Baier and J. Katoen, Principles of Model Checking (Representation and Mind Series), 2008.

A. Basu, S. Bensalem, M. Bozga, P. Bourgos, M. Maheshwari et al., Component Assemblies in the Context of Manycore, FMCO'11, pp.314-333
DOI : 10.1007/3-540-16042-6_21
URL : https://hal.archives-ouvertes.fr/hal-00878716

S. Bensalem, M. Bozga, B. Delahaye, C. Jégourel, A. Legay et al., Statistical Model Checking QoS Properties of Systems with SBIP, pp.327-341, 2012.
DOI : 10.1007/978-3-642-34026-0_25
URL : https://hal.archives-ouvertes.fr/hal-01087822

S. Bensalem, B. Delahaye, and A. Legay, Statistical model checking: Present and future, RV, 2010.

P. E. Bulychev, A. David, K. G. Larsen, M. Mikucionis, D. B. Poulsen et al., UPPAAL-SMC: Statistical Model Checking for Priced Timed Automata, QAPL'12, pp.1-16, 2012.
DOI : 10.4204/EPTCS.85.1

R. C. Carrasco and J. Oncina, Learning stochastic regular grammars by means of a state merging method, ICGI, pp.139-152, 1994.
DOI : 10.1007/3-540-58473-0_144

C. De and . Higuera, Grammatical Inference: Learning Automata and Grammars, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00476128

C. De-la-higuera and J. Oncina, Identification with Probability One of Stochastic Deterministic Linear Languages, ALT, pp.247-258, 2003.
DOI : 10.1007/978-3-540-39624-6_20

C. De-la-higuera, J. Oncina, and E. Vidal, Identification of DFA: Data-dependent versus data-independent algorithms, ICGI, pp.313-325, 1996.
DOI : 10.1007/BFb0033365

R. Grosu and S. A. Smolka, Monte Carlo Model Checking, TACAS, pp.271-286, 2005.
DOI : 10.1007/978-3-540-31980-1_18

T. Hérault, R. Lassaigne, F. Magniette, and S. Peyronnet, Approximate Probabilistic Model Checking, VMCAI, pp.73-84, 2004.
DOI : 10.1007/978-3-540-24622-0_8

T. Herman, Probabilistic self-stabilization, Information Processing Letters, vol.35, issue.2, pp.63-67, 1990.
DOI : 10.1016/0020-0190(90)90107-9

W. Hoeffding, Probability Inequalities for Sums of Bounded Random Variables, Journal of the American Statistical Association, vol.1, issue.301, pp.13-30, 1963.
DOI : 10.1214/aoms/1177730491

C. Jégourel, A. Legay, and S. Sedwards, A Platform for High Performance Statistical Model Checking ??? PLASMA, TACAS, pp.498-503, 2012.
DOI : 10.1007/978-3-642-28756-5_37

M. Kwiatkowska, G. Norman, and D. Parker, PRISM 4.0: Verification of Probabilistic Real-Time Systems, CAV, vol.1, issue.1-2, pp.585-591, 2011.
DOI : 10.1007/3-540-45657-0_17
URL : https://hal.archives-ouvertes.fr/hal-00648035

S. Laplante, R. Lassaigne, F. Magniez, S. Peyronnet, and M. De-rougemont, Probabilistic abstraction for model checking, ACM Transactions on Computational Logic, vol.8, issue.4, 2007.
DOI : 10.1145/1276920.1276922

M. Leucker, Learning Meets Verification, FMCO, pp.127-151, 2006.
DOI : 10.1007/978-3-540-74792-5_6
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.149.8640

H. Mao, Y. Chen, M. Jaeger, T. D. Nielsen, K. G. Larsen et al., Learning Probabilistic Automata for Model Checking, 2011 Eighth International Conference on Quantitative Evaluation of SysTems, pp.111-120, 2011.
DOI : 10.1109/QEST.2011.21

D. Peled, M. Y. Vardi, and M. Yannakakis, Black Box Checking, J. Autom. Lang. Comb, vol.7, issue.2, pp.225-246, 2001.
DOI : 10.1007/978-0-387-35578-8_13

J. M. Pena and A. L. Oliveira, A new algorithm for exact reduction of incompletely specified finite state machines, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol.18, issue.11, pp.1619-1632, 2006.
DOI : 10.1109/43.806807

D. Ron, Y. Singer, and N. Tishby, On the learnability and usage of acyclic probabilistic finite automata, COLT, pp.31-40, 1995.

K. Sen, M. Viswanathan, and G. Agha, Learning continuous time Markov chains from sample executions, First International Conference on the Quantitative Evaluation of Systems, 2004. QEST 2004. Proceedings., pp.146-155, 2004.
DOI : 10.1109/QEST.2004.1348029

K. Sen, M. Viswanathan, and G. Agha, Statistical Model Checking of Black-Box Probabilistic Systems, CAV, pp.202-215, 2004.
DOI : 10.1007/978-3-540-27813-9_16

A. Stolcke, Bayesian Learning of Probabilistic Language Models, UMI Order, pp.95-29515, 1994.

S. Verwer, R. Eyraud, C. De, and . Higuera, Results of the pautomac probabilistic automaton learning competition, ICGI, pp.243-248, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00833419

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