Pages that link to "Item:Q2353987"
From MaRDI portal
The following pages link to Simulation for lattice-valued doubly labeled transition systems (Q2353987):
Displayed 11 items.
- Lattice-valued simulations for quantitative transition systems (Q473367) (← links)
- Nondeterministic fuzzy automata with membership values in complete residuated lattices (Q511624) (← links)
- Logical characterizations of simulation and bisimulation for fuzzy transition systems (Q679804) (← links)
- Quantitative analysis of software approximate correctness (Q1664851) (← links)
- The approximate correctness of systems based on \(\delta\)-bisimulation (Q1744456) (← links)
- Approximate bisimulation relations for fuzzy automata (Q1800262) (← links)
- Characterizing fuzzy simulations for fuzzy labeled transition systems in fuzzy propositional dynamic logic (Q2237192) (← links)
- Nondeterministic finite automata based on quantum logic: language equivalence relation and robustness (Q2658032) (← links)
- Probabilistic model of software approximate correctness (Q2825263) (← links)
- Logical characterizations of fuzzy bisimulations in fuzzy modal logics over residuated lattices (Q6058014) (← links)
- Fuzzy simulations and bisimulations between fuzzy automata (Q6099555) (← links)