Yu Wang 0044, Nima Roohi, Matthew West 0001, Mahesh Viswanathan 0001, Geir E. Dullerud. Statistical verification of PCTL using antithetic and stratified samples. Formal Methods in System Design, 54(2):145-163, 2019. [doi]
No reviews for this publication, yet.