Statistical verification of PCTL using antithetic and stratified samples

Keyphrases

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

Mathematics

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

Computer Science

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