Minimization Algorithm for Symbolic Bisimilarity
No abstract available.
Related papers
- Faster Signature Refinement for Branching Bisimilarity Minimization TACAS 2026
- Fast Coalgebraic Bisimilarity Minimization POPL 2023
- Approximately Bisimilar Symbolic Models for Digital Control Systems CAV 2012
- A Parallel Relation-Based Algorithm for Symbolic Bisimulation Minimization VMCAI 2019
- Minimization of symbolic automata POPL 2014
- Bisimulations for Neural Network Reduction VMCAI 2022
- A Trace Based Bisimulation for the Spi Calculus: An Extended Abstract APLAS 2007
- An O(m log n) algorithm for branching bisimilarity on labelled transition systems TACAS 2020