A Symbolic Algorithm for Optimal Markov Chain Lumping
No abstract available.
Related papers
- Simple O(m logn) Time Markov Chain Lumping TACAS 2010
- Finding Provably Optimal Markov Chains TACAS 2021
- Relational Reasoning for Markov Chains in a Probabilistic Guarded Lambda Calculus ESOP 2018
- Tensor Probabilistic Model Checking of Finite-Horizon Markov Chains CAV 2026
- Forward and Backward Constrained Bisimulations for Quantum Circuits TACAS 2024
- Measurement-Based Verification of Quantum Markov Chains CAV 2024
- Model Checking Finite-Horizon Markov Chains with Probabilistic Inference CAV 2021
- Analysis of Markov Jump Processes under Terminal Constraints TACAS 2021