Statistical model checking of blackbox probabilistic systems (2004)

by K Sen, M Viswanathan, G Agha
Venue:In 16th conference on Computer Aided Veri (CAV'04), volume 3114 of LNCS