Bisimulation Minimisation Mostly Speeds Up Probabilistic Model Checking
No abstract available.
Related papers
- SMT-Based Bisimulation Minimisation of Markov Models VMCAI 2013
- Symbolic Bisimulation Minimisation CAV 1992
- Multi-core Symbolic Bisimulation Minimisation TACAS 2016
- Probabilistic Bisimulation for Parameterized Systems - (with Applications to Verifying Anonymous Protocols) CAV 2019
- Accelerating Markov Chain Model Checking: Good-for-Games Meets Unambiguous Automata CAV 2025
- Bisimulation Through Probabilistic Testing POPL 1989
- A Generational Mostly-Concurrent Garbage Collector ISMM 2000
- Weak Bisimulation for Fully Probabilistic Processes CAV 1997