Login / Signup
Statistical verification of PCTL using antithetic and stratified samples.
Yu Wang
Nima Roohi
Matthew West
Mahesh Viswanathan
Geir E. Dullerud
Published in:
Formal Methods Syst. Des. (2019)
Keyphrases
</>
stratified sampling
data sets
statistical models
verification method
statistical methods
information theoretic
model checking
training set
training data
statistical analysis
data driven
bayesian networks
statistical significance
formal analysis
statistical inference
data samples
decision trees
website