|
[RWWDV20]
Nima Roohi, Yu Wang, Matthew West, Geir E. Dullerud and Mahesh Viswanathan.
STMC: Statistical Model Checker with Stratified and Antithetic Sampling.
In Proc. 32nd International Conference on Computer Aided Verification (CAV'20), volume 12225 of LNCS, pages 448-460, Springer.
2020.
[bib]
[Proposes a technique and tool for statistical model checking using antithetic and stratified sampling, built as an extension of PRISM.]
|
|
Downloads:
 bib
|
|
Notes:
The original publication is available at link.springer.com.
|
|
Links:
[Google]
[Google Scholar]
|