Statistical model checking of blackbox probabilistic systems (2004)

by K Sen, M Viswanathan, G Agha
Venue:In CAV, LNCS 3114