Exact quantitative probabilistic model checking through rational search

Keyphrases

• Approximate Reachability 33%
• Approximate Results 33%
• Checking Algorithm 33%
• Discrete-time Markov Chain 66%
• Existing State 33%
• Inaccurate Models 33%
• Iterative Methods 66%
• Large Animal Model 33%
• Linear Programming Method 33%
• Markov Decision Process 66%
• Model Checker 33%
• Model Checking Tools 33%
• PRISM Model Checker 33%
• Probabilistic Model 33%
• Probabilistic Model Checking 100%
• Quantitative Model 33%
• Quantitative Model Checking 33%
• Reachability Probability 100%
• Reachability Properties 33%

Computer Science

• Approximation (Algorithm) 20%
• discrete-time 40%
• Iterative Technique 20%
• Linear Programming 20%
• Markov Decision Process 40%
• model checker 40%
• Model Checking 100%
• Model Checking Algorithm 20%
• Programming Method 20%
• Reachability Probability 60%
• Time Markov Chain 40%