Statistical model checking of black-box probabilistic systems

Keyphrases

• Black Box 100%
• Probabilistic Systems 100%
• Statistical Model Checking 100%
• Monte Carlo Simulation 50%
• Stochastic Systems 50%
• Statistical Hypothesis Testing 50%
• Tool Use 50%
• Numerical Analysis Method 50%
• Java-based 50%
• Vesta 50%
• Statistical Analysis Method 50%
• Don't Know Answers 50%
• Continuous Stochastic Logic 50%
• Prototyping Tools 50%

Mathematics

• Statistical Model 100%
• Black Box 100%
• Stochastics 50%
• Stochastic System 50%
• Statistical Analysis 50%
• Numerical Analysis 50%
• Statistical Hypothesis Testing 50%
• Quantitative Measure 50%
• Statistical Approach 50%
• Statistical Evidence 50%
• Monte Carlo Method 50%

Computer Science

• Case Study 100%
• Monte Carlo Simulation 100%
• Stochastic System 100%
• Statistical Approach 100%
• Statistical Model 100%
• Numerical Analysis 100%