Pages that link to "Item:Q690916"
From MaRDI portal
The following pages link to Computation of the greatest simulations and bisimulations between fuzzy automata (Q690916):
Displayed 37 items.
- Weak bisimulations for fuzzy automata (Q279375) (← links)
- Lattice-valued simulations for quantitative transition systems (Q473367) (← links)
- Rough approximations based on bisimulations (Q505252) (← links)
- Nondeterministic fuzzy automata with membership values in complete residuated lattices (Q511624) (← links)
- Model checking fuzzy computation tree logic (Q529056) (← links)
- Logical characterizations of simulation and bisimulation for fuzzy transition systems (Q679804) (← links)
- Further improvements of determinization methods for fuzzy finite automata (Q679810) (← links)
- Quantitative simulations by matrices (Q729815) (← links)
- Nondeterministic automata: equivalence, bisimulations, and uniform relations (Q903611) (← links)
- Fuzzy approximations of fuzzy relational structures (Q1644888) (← links)
- Bisimulations for fuzzy transition systems revisited (Q1648774) (← links)
- Algorithmic and logical characterizations of bisimulations for non-deterministic fuzzy transition systems (Q1697986) (← links)
- Labeled fuzzy approximations based on bisimulations (Q1748529) (← links)
- Polynomial-time algorithms for computing distances of fuzzy transition systems (Q1749476) (← links)
- Construction of fuzzy automata from fuzzy regular expressions (Q1759725) (← links)
- Weakly linear systems of fuzzy relation inequalities: the heterogeneous case (Q1759728) (← links)
- Computation of the greatest right and left invariant fuzzy quasi-orders and fuzzy equivalences (Q1794961) (← links)
- Approximate bisimulation relations for fuzzy automata (Q1800262) (← links)
- Logical characterizations of regular equivalence in weighted social networks (Q2014930) (← links)
- Weakly linear systems for matrices over the max-plus quantale (Q2128082) (← links)
- Determinization of fuzzy automata by factorizations of fuzzy states and right invariant fuzzy quasi-orders (Q2200645) (← links)
- A fuzzy modal logic for fuzzy transition systems (Q2219078) (← links)
- Approximate bisimulations and state reduction of fuzzy automata under fuzzy similarity measures (Q2219195) (← links)
- Bisimulation of type 2 for BL-general fuzzy automata (Q2297988) (← links)
- Simulation for lattice-valued doubly labeled transition systems (Q2353987) (← links)
- A logical framework for privacy-preserving social network publication (Q2447175) (← links)
- Bisimulations for weighted automata over an additively idempotent semiring (Q2447758) (← links)
- TOPOLOGICAL CHARACTERIZATION FOR FUZZY REGULAR LANGUAGES (Q4963107) (← links)
- (f, g)-derivation of ordered Γ-semirings (Q4988286) (← links)
- Regular fuzzy equivalences on two - mode fuzzy Networksi (Q5024949) (← links)
- Direct and Indirect Methods for Solving Two-Mode Systems of Fuzzy Relation Equations and Inequalities (Q5215758) (← 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)
- Distribution-based limited fuzzy bisimulations for nondeterministic fuzzy transition systems (Q6150069) (← links)
- Weighted Automata over Vector Spaces (Q6204126) (← links)