Smoothed model checking for uncertain Continuous-Time Markov Chains

Mathematics

• Probability Theory 100%
• Smooth Function 100%
• Continuous Time Markov Chain 100%
• Parametric 50%
• Bayesian 50%
• Statistical Model 50%
• Gaussian Process 50%
• Trivial Case 50%
• Individual Parameter 50%
• Stochastic Model 50%
• Truth Value 50%

Computer Science

• Parameter Value 100%
• Model Checking 100%
• Continuous Time 100%
• Time Markov Chain 100%
• Approximation (Algorithm) 50%
• Case Study 50%
• Stochastic Model 50%
• Statistical Model 50%
• Mild Condition 50%

Economics, Econometrics and Finance

• Gaussian Process 100%
• Bayesian 100%
• Markov Chain 100%
• Continuous Time 100%