Consistency and refinement for Interval Markov Chains

Keyphrases

• Interval Markov Chains 100%
• Markov Chain 66%
• Emptiness 66%
• Polynomial Time 33%
• Specification Theory 33%
• Probabilistic Systems 33%
• Modeling Methodology 33%
• Compositional Modeling 33%
• Determinism 33%
• Refinement Operators 33%
• Transition Matrix 33%
• Standard Semantics 33%
• Probability Intervals 33%
• Interval Constraint 33%
• EXPTIME-complete 33%

Computer Science

• Markov Chain 100%
• Common Implementation 40%
• Polynomial Time 20%
• Syntactics 20%
• Transition Matrix 20%

Mathematics

• Polynomial 20%
• Polynomial Time 20%
• Complexity Study 20%
• Probability Interval 20%
• Entailment 20%
• Transition Matrix 20%