Statistical model checking of black-box probabilistic systems. (2004)

by K Sen, M Viswanathan, G Agha
Venue:CAV 2004. LNCS,