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]
@article{WangRWVD19,
title = {Statistical verification of PCTL using antithetic and stratified samples},
author = {Yu Wang 0044 and Nima Roohi and Matthew West 0001 and Mahesh Viswanathan 0001 and Geir E. Dullerud},
year = {2019},
doi = {10.1007/s10703-019-00339-8},
url = {https://doi.org/10.1007/s10703-019-00339-8},
researchr = {https://researchr.org/publication/WangRWVD19},
cites = {0},
citedby = {0},
journal = {Formal Methods in System Design},
volume = {54},
number = {2},
pages = {145-163},
}