Symbolic Bisimulation Minimisation
Abstract elided by the publisher.
Related papers
- Multi-core Symbolic Bisimulation Minimisation TACAS 2016
- SMT-Based Bisimulation Minimisation of Markov Models VMCAI 2013
- Bisimulation Minimisation Mostly Speeds Up Probabilistic Model Checking TACAS 2007
- Forward Bisimulations for Nondeterministic Symbolic Finite Automata TACAS 2017
- A Parallel Relation-Based Algorithm for Symbolic Bisimulation Minimization VMCAI 2019
- A Trace Based Bisimulation for the Spi Calculus: An Extended Abstract APLAS 2007
- Knor: reactive synthesis using Oink TACAS 2024
- An O(m log n) algorithm for branching bisimilarity on labelled transition systems TACAS 2020