"On Statistical Model Checking of Stochastic Systems."

Koushik Sen, Mahesh Viswanathan, Gul Agha (2005)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics