Numerical vs. statistical probabilistic model checking: an empirical study (0)

by H Younes, M Kwiatkowska, G Norman, D Parker
Venue:In Tools and Algorithms for the Construction and Analysis of Systems. Lecutre Notes in Computer Science