Papers: 10.1007/978-3-030-53291-8_23

https://doi.org/10.1007/978-3-030-53291-8_23

STMC: Statistical Model Checker with Stratified and Antithetic Sampling

Cited by: 0
Author(s): Nima Roohi, Yu Wang, Matthew West, Geir E. Dullerud, Mahesh Viswanathan
Published: almost 7 years ago

Software Mentions 1