Statistical verification of PCTL using antithetic and stratified samples

Keyphrases

• Stratified Sampling 100%
• Statistical Validation 100%
• Probabilistic Computation Tree Logic 100%
• Logic Formulas 66%
• Discrete-time Markov Chain 66%
• Verification Algorithm 66%
• Sampling Methods 33%
• Numerical Experiments 33%
• Sampling Efficiency 33%
• Monte Carlo Sampling 33%
• Sequential Probability Ratio Test 33%
• Correlated Sampling 33%
• Asymptotic Correctness 33%
• Antithetic Sampling 33%

Mathematics

• Time Markov Chain 100%
• Discrete Time 100%
• Stratified Sample 100%
• Asymptotics 50%
• Probability Theory 50%
• Ratio Test 50%
• Numerical Experiment 50%
• Monte Carlo 50%
• Sampling Technique 50%

Computer Science

• Probabilistic Computation Tree Logic 100%
• discrete-time 66%
• Time Markov Chain 66%
• Sampling Technique 33%
• Correctness 33%