Pages that link to "Item:Q1697986"
From MaRDI portal
The following pages link to Algorithmic and logical characterizations of bisimulations for non-deterministic fuzzy transition systems (Q1697986):
Displayed 7 items.
- Bisimulations for fuzzy transition systems revisited (Q1648774) (← 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)
- 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)