SMT-Based Bisimulation Minimisation of Markov Models
No abstract available.
Related papers
- Bisimulation Minimisation Mostly Speeds Up Probabilistic Model Checking TACAS 2007
- Symbolic Bisimulation Minimisation CAV 1992
- Multi-core Symbolic Bisimulation Minimisation TACAS 2016
- Accelerating Markov Chain Model Checking: Good-for-Games Meets Unambiguous Automata CAV 2025
- Approximate Probabilistic Bisimulation for Continuous-Time Markov Chains CAV 2025
- Bisimulations and Logical Characterizations on Continuous-Time Markov Decision Processes VMCAI 2014
- Knor: reactive synthesis using Oink TACAS 2024
- Forward and Backward Constrained Bisimulations for Quantum Circuits TACAS 2024