Pages that link to "Item:Q2447758"

The following pages link to Bisimulations for weighted automata over an additively idempotent semiring (Q2447758):

Displaying 19 items.

• Logical characterizations of simulation and bisimulation for fuzzy transition systems (Q679804) (← links)
• Quantitative simulations by matrices (Q729815) (← links)
• Bisimulations for fuzzy transition systems revisited (Q1648774) (← links)
• Algorithmic and logical characterizations of bisimulations for non-deterministic fuzzy transition systems (Q1697986) (← links)
• Weakly linear systems for matrices over the max-plus quantale (Q2128082) (← links)
• A contribution to the determinization of max-plus automata (Q2177784) (← links)
• Approximate bisimulations and state reduction of fuzzy automata under fuzzy similarity measures (Q2219195) (← links)
• Characterizing fuzzy simulations for fuzzy labeled transition systems in fuzzy propositional dynamic logic (Q2237192) (← links)
• The relationships among several forms of weighted finite automata over strong bimonoids (Q2293180) (← links)
• Fuzzy relation equations and inequalities with two unknowns and their applications (Q2398064) (← links)
• (f, g)-derivation of ordered Γ-semirings (Q4988286) (← links)
• Moore-Penrose equations in involutive residuated semigroups and involutive quantales (Q5005464) (← links)
• Ideal basis in constructions defined by directed graphs (Q5006551) (← links)
• Improved algorithms for computing the greatest right and left invariant Boolean matrices and their application (Q5863634) (← links)
• Logical characterizations of fuzzy bisimulations in fuzzy modal logics over residuated lattices (Q6058014) (← links)
• Characterization and computation of approximate bisimulations for fuzzy automata (Q6079413) (← links)
• Fuzzy simulations and bisimulations between fuzzy automata (Q6099555) (← links)
• Weighted Automata over Vector Spaces (Q6204126) (← links)
• Computing the fuzzy partition corresponding to the greatest fuzzy auto-bisimulation of a fuzzy graph-based structure under the Gödel semantics (Q6496169) (← links)