Numerical vs. statistical probabilistic model checking. (2006)

by H Younes, M Kwiatkowska, G Norman, D Parker
Venue:STTT