Similar Items: Quantitative Approximation of the Probability Distribution of a Markov Process by Formal Abstractions
- Abstract Hidden Markov Models: a monadic account of quantitative information flow
- Foundations of probability-raising causality in Markov decision processes
- Abstract Completion, Formalized
- Formalization of Abstract State Transition Systems for SAT
- Predicate Abstraction with Under-approximation Refinement
- A Complete Quantitative Deduction System for the Bisimilarity Distance on Markov Chains