On Statistical Model Checking of Stochastic Systems.

Koushik Sen, Mahesh Viswanathan, Gul Agha

Browse the full CAV paper archive.