Statistical Model Checking of Black-Box Probabilistic Systems (2004)

by K Sen, M Viswanathan, G Agha
Venue:In Proceedings of CAV’04, LNCS 3114