Pages that link to "Item:Q3552519"
From MaRDI portal
The following pages link to LATTICED SIMULATION RELATIONS AND GAMES (Q3552519):
Displaying 10 items.
- Logical characterizations of simulation and bisimulation for fuzzy transition systems (Q679804) (← links)
- Bisimulations for fuzzy transition systems revisited (Q1648774) (← links)
- Latticed-LTL synthesis in the presence of noisy inputs (Q1677194) (← links)
- Algorithmic and logical characterizations of bisimulations for non-deterministic fuzzy transition systems (Q1697986) (← links)
- Approximate bisimulation relations for fuzzy automata (Q1800262) (← links)
- A lattice-theoretic approach to a class of dynamic games (Q1825778) (← links)
- Simulation for lattice-valued doubly labeled transition systems (Q2353987) (← links)
- Simulation Relations for Alternating Parity Automata and Parity Games (Q3617046) (← links)
- (Q4637688) (← links)
- Minimizing Deterministic Lattice Automata (Q5892175) (← links)