Statistical Verification of PCTL Using Stratified Samples.

Yu Wang Nima Roohi Matthew West Mahesh Viswanathan Geir E. Dullerud

Published in: ADHS (2018)

Keyphrases

stratified sampling
data sets
statistical analysis
model checking
training set
databases
training samples
statistical models
real time
neural network
multiscale
temporal logic
data samples
statistical approaches
formal verification
sampling strategies