Simple O(m logn) Time Markov Chain Lumping
Abstract elided by the publisher.
Related papers
- A Symbolic Algorithm for Optimal Markov Chain Lumping TACAS 2007
- Relational Reasoning for Markov Chains in a Probabilistic Guarded Lambda Calculus ESOP 2018
- Faster Algorithms for Markov Decision Processes with Low Treewidth CAV 2013
- Verifying Continuous Time Markov Chains CAV 1996
- Three-Valued Abstraction for Continuous-Time Markov Chains CAV 2007
- Counterexample Generation for Discrete-Time Markov Chains Using Bounded Model Checking VMCAI 2009
- Model Checking Continuous-Time Markov Chains by Transient Analysis CAV 2000
- Delayed Continuous-Time Markov Chains for Genetic Regulatory Circuits CAV 2012