Numerical vs. Statistical Probabilistic Model Checking: An Empirical Study.

Hkan L. S. Younes, Marta Z. Kwiatkowska, Gethin Norman, David Parker

Browse the full TACAS paper archive.