A coalgebraic perspective on linear weighted automata
From MaRDI portal
Publication:418134
DOI10.1016/J.IC.2011.12.002zbMATH Open1279.68235OpenAlexW2588294347MaRDI QIDQ418134FDOQ418134
Authors: Filippo Bonchi, Michele Boreale, Alexandra Silva, Marcello M. Bonsangue, Jan J. M. M. Rutten 
Publication date: 24 May 2012
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ic.2011.12.002
Recommendations
probabilitycoalgebrasbisimilaritylanguage equivalencelinear weighted automatanon-deterministic automataSetVect
Cites Work
- Nonlinear control systems.
- Universal coalgebra: A theory of systems
- Rational streams coalgebraically
- Title not available (Why is that?)
- A coinductive calculus of streams
- Title not available (Why is that?)
- EDIT-DISTANCE OF WEIGHTED AUTOMATA: GENERAL DEFINITIONS AND ALGORITHMS
- Handbook of weighted automata
- Bisimulation through probabilistic testing
- Title not available (Why is that?)
- Bisimulation relations for weighted automata
- CCS expressions, finite state processes, and three problems of equivalence
- On the definition of a family of automata
- Title not available (Why is that?)
- THE EQUALITY PROBLEM FOR RATIONAL SERIES WITH MULTIPLICITIES IN THE TROPICAL SEMIRING IS UNDECIDABLE
- Terminal coalgebras in well-founded set theory
- Copower functors
- Title not available (Why is that?)
- Quasideterminants
- Behavioural differential equations: a coinductive calculus of streams, automata, and power series
- Title not available (Why is that?)
- Conjugacy and Equivalence of Weighted Automata and Functional Transducers
- Minimization algorithms for sequential transducers
- Products of coalgebras.
- Weighted Bisimulation in Linear Algebraic Form
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Monoid-labeled transition systems
- Digital image compression
- Model checking linear-time properties of probabilistic systems
Cited In (31)
- Coalgebras for Bisimulation of Weighted Automata over Semirings
- Coalgebraic Semantics of Heavy-Weighted Automata
- Combining semilattices and semimodules
- Context-free coalgebras
- Equations and coequations for weighted automata
- On the Coalgebra of Partial Differential Equations
- Singular value automata and approximate minimization
- ``Keep definition, change category -- a practical approach to state-based system calculi
- Sound and complete axiomatizations of coalgebraic language equivalence
- Algebra-coalgebra duality in Brzozowski's minimization algorithm
- Typed linear algebra for weigthed (probabilistic) automata
- Minimisation in logical form
- Algebra, Coalgebra, and Minimization in Polynomial Differential Equations
- Generic Partition Refinement Algorithms for Coalgebras and an Instantiation to Weighted Automata
- Automatic pre- and postconditions for partial differential equations
- Weighted Automata over Vector Spaces
- A generalized partition refinement algorithm, instantiated to language equivalence checking for weighted automata
- Deriving Syntax and Axioms for Quantitative Regular Behaviours
- Weighted automata as coalgebras in categories of matrices
- Preservation and reflection of bisimilarity via invertible steps
- Title not available (Why is that?)
- A complete logic for behavioural equivalence in coalgebras of finitary set functors
- Bisimulation metrics and norms for real-weighted automata
- Products, polynomials and differential equations in the stream calculus
- Weighted Bisimulation in Linear Algebraic Form
- Stream differential equations: specification formats and solution methods
- Product rules and distributive laws
- Coalgebraic constructions of canonical nondeterministic automata
- Enhanced coalgebraic bisimulation
- Up-To Techniques for Weighted Systems
- A general account of coinduction up-to
This page was built for publication: A coalgebraic perspective on linear weighted automata
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q418134)
