Fingerprint
Dive into the research topics of 'Statistical verification of PCTL using antithetic and stratified samples'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Statistical verification of PCTL using antithetic and stratified samples
Yu Wang, Nima Roohi, Matthew West, Mahesh Viswanathan, Geir E. Dullerud
Research output: Contribution to journal › Article › peer-review