On statistical model checking of stochastic systems (2005)

by K Sen, M Viswanathan, G Agha
Venue:In Proceedings of Computer Aided Verification