A generalized partition refinement algorithm, instantiated to language equivalence checking for weighted automata
From MaRDI portal
Publication:1797781
DOI10.1007/s00500-016-2363-zzbMath1398.68353OpenAlexW2522575395MaRDI QIDQ1797781
Barbara König, Sebastian Küpper
Publication date: 22 October 2018
Published in: Soft Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00500-016-2363-z
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Noncommutative minimization algorithms
- Free inductive \(K\)-semialgebras
- On the greatest fixed point of a set functor
- Handbook of weighted automata
- A complete axiom system for rational sets with multiplicity
- Minimax algebra
- Universal coalgebra: A theory of systems
- Coalgebraic minimization of HD-automata for the \(\pi\)-calculus using polymorphic types
- Axiomatizing rational power series over natural numbers
- Relating Coalgebraic Notions of Bisimulation
- A Coalgebraic Perspective on Minimization and Determinization
- Sound and Complete Axiomatizations of Coalgebraic Language Equivalence
- What’s Decidable about Weighted Automata?
- Weighted Bisimulation in Linear Algebraic Form
- Generic Forward and Backward Simulations III: Quantitative Simulations by Matrices
- Generic Partition Refinement Algorithms for Coalgebras and an Instantiation to Weighted Automata
- On the definition of a family of automata
- Conjugacy and Equivalence of Weighted Automata and Functional Transducers
- THE EQUALITY PROBLEM FOR RATIONAL SERIES WITH MULTIPLICITIES IN THE TROPICAL SEMIRING IS UNDECIDABLE
- Coinduction up-to in a fibrational setting
- A GENERALIZATION OF KOZEN'S AXIOMATIZATION OF THE EQUATIONAL THEORY OF THE REGULAR SETS
- Rational and Recognisable Power Series
- Weighted Automata Algorithms
- Fuzzy Languages
- Enhanced coalgebraic bisimulation
- Generic Trace Semantics via Coinduction
- Automata, Languages and Programming
- Multi-Linear Iterative K-Σ-Semialgebras
This page was built for publication: A generalized partition refinement algorithm, instantiated to language equivalence checking for weighted automata
