Least upper bounds for probability measures and their applications to abstractions

Keyphrases

• Probability Measure 100%
• Least Upper Bound 100%
• Static Analysis 50%
• Reflexive Thematic Analysis 50%
• Non-deterministic 50%
• Markov Decision Process 50%
• Abstract Model 50%
• Abstract Interpretation 50%
• Technical Tools 50%
• Probabilistic Programs 50%
• Continuous-time Markov Chain 50%
• Probabilistic Systems 50%
• Abstraction Methods 50%
• Discrete-time Markov Chain 50%
• State Space Explosion 50%
• Automatic Analysis 50%

Computer Science

• Probability Measure 100%
• Time Markov Chain 100%
• Continuous Time 50%
• State Space 50%
• Markov Decision Process 50%
• discrete-time 50%
• Model Checking 50%
• Abstract Interpretation 50%
• Static Program Analysis 50%
• Automatic Analysis 50%