STMC: Statistical Model Checker with Stratified and Antithetic Sampling.

Nima Roohi, Yu Wang, Matthew West, Geir E. Dullerud, Mahesh Viswanathan

Browse the full CAV paper archive.