Pages that link to "Item:Q473367"

The following pages link to Lattice-valued simulations for quantitative transition systems (Q473367):

Displaying 10 items.

• Nondeterministic fuzzy automata with membership values in complete residuated lattices (Q511624) (← links)
• The approximate correctness of systems based on \(\delta\)-bisimulation (Q1744456) (← links)
• Polynomial-time algorithms for computing distances of fuzzy transition systems (Q1749476) (← links)
• Approximate bisimulation relations for fuzzy automata (Q1800262) (← links)
• Limited approximate bisimulations and the corresponding rough approximations (Q2237122) (← links)
• Characterizing fuzzy simulations for fuzzy labeled transition systems in fuzzy propositional dynamic logic (Q2237192) (← links)
• A family of graded epistemic logics (Q2333311) (← links)
• Similarity-based minimization of fuzzy tree automata (Q2634346) (← links)
• Logical characterizations of fuzzy bisimulations in fuzzy modal logics over residuated lattices (Q6058014) (← links)
• Fuzzy simulations and bisimulations between fuzzy automata (Q6099555) (← links)