Least upper bounds for probability measures and their applications to abstractions

Keyphrases

• Probability Measure 100%
• Least Upper Bound 100%
• Abstraction Methods 50%
• Measurable Space 50%
• Sets of Probability Measures 33%
• Finite Sets 16%
• Automated Analysis 16%
• Non-deterministic 16%
• Markov Decision Process 16%
• Program Semantics 16%
• Abstract Model 16%
• Abstract Interpretation 16%
• Continuous-time Markov Chain 16%
• Discrete-time Markov Chain 16%

Computer Science

• Probability Measure 100%
• Time Markov Chain 66%
• Continuous Time 33%
• Automated Analysis 33%
• Markov Decision Process 33%
• discrete-time 33%
• Abstract Interpretation 33%
• Semantics of Programming Language 33%

Mathematics

• Probability Measure 100%
• Least Upper Bound 100%
• Measurable Space 50%
• Discrete Time 16%
• Finite Set 16%
• Markov Decision Process 16%
• Continuous Time Markov Chain 16%
• Abstract Interpretation 16%
• Time Markov Chain 16%