Efficient probabilistic model checking of systems with ranged probabilities

Keyphrases

• Error Term 100%
• Probabilistic Model Checking 100%
• Order Errors 66%
• Error Bound 33%
• Interval Arithmetic 33%
• Affine Arithmetic 33%
• Discrete-time Markov Chain 33%
• Model Check 33%
• Under-approximation 33%
• Reachability Properties 33%

Mathematics

• Error Term 100%
• Discrete Time 50%
• Interval Arithmetic 50%
• Time Markov Chain 50%
• Error Bound 50%
• Affine Arithmetic 50%

Computer Science

• Time Markov Chain 100%
• Model Checking 100%
• discrete-time 100%