Bisimulations for weighted automata over an additively idempotent semiring
From MaRDI portal
Publication:2447758
DOI10.1016/j.tcs.2014.02.032zbMath1359.68203OpenAlexW2053718620MaRDI QIDQ2447758
Jelena Ignjatović, Miroslav Ćirić, Nada Damljanović
Publication date: 29 April 2014
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2014.02.032
simulationbisimulationBoolean matrixweighted automatonadditively idempotent semiringfactor weighted automaton
Related Items
Weakly linear systems for matrices over the max-plus quantale ⋮ Bisimulations for fuzzy transition systems revisited ⋮ Fuzzy relation equations and inequalities with two unknowns and their applications ⋮ A contribution to the determinization of max-plus automata ⋮ Logical characterizations of fuzzy bisimulations in fuzzy modal logics over residuated lattices ⋮ Characterization and computation of approximate bisimulations for fuzzy automata ⋮ Fuzzy simulations and bisimulations between fuzzy automata ⋮ Computation of solutions to certain nonlinear systems of fuzzy relation inequations ⋮ Algorithmic and logical characterizations of bisimulations for non-deterministic fuzzy transition systems ⋮ Weighted Automata over Vector Spaces ⋮ Approximate bisimulations and state reduction of fuzzy automata under fuzzy similarity measures ⋮ Characterizing fuzzy simulations for fuzzy labeled transition systems in fuzzy propositional dynamic logic ⋮ Logical characterizations of simulation and bisimulation for fuzzy transition systems ⋮ Quantitative simulations by matrices ⋮ The relationships among several forms of weighted finite automata over strong bimonoids ⋮ (f, g)-derivation of ordered Γ-semirings ⋮ Moore-Penrose equations in involutive residuated semigroups and involutive quantales ⋮ Ideal basis in constructions defined by directed graphs ⋮ Improved algorithms for computing the greatest right and left invariant Boolean matrices and their application
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Bisimulations for fuzzy automata
- Computation of the greatest simulations and bisimulations between fuzzy automata
- Handbook of weighted automata
- Nondeterministic automata: equivalence, bisimulations, and uniform relations
- Uniform fuzzy relations and fuzzy functions
- A calculus of communicating systems
- Derivatives of rational expressions with multiplicity
- Semirings for constraint solving and programming.
- Dioïds and semirings: Links to fuzzy sets and other applications
- Graphs, dioids and semirings. New models and algorithms.
- Bisimulation relations for weighted automata
- Path Problems in Networks
- Conjugacy and Equivalence of Weighted Automata and Functional Transducers
- On the generating sequences of regular languages on k symbols
- Max-linear Systems: Theory and Algorithms
- A GENERALIZATION OF KOZEN'S AXIOMATIZATION OF THE EQUATIONAL THEORY OF THE REGULAR SETS
- Automata, Languages and Programming