Numerical vs. statistical probabilistic model checking: An empirical study (2004)

by Håkan L. S. Younes, Marta Kwiatkowska, Gethin Norman, David Parker
Venue:IN 10TH INTERNATIONAL CONFERENCE ON TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS (TACAS’04