Pages that link to "Item:Q5895527"
From MaRDI portal
The following pages link to Timed Parity Games: Complexity and Robustness (Q5895527):
Displaying 8 items.
- Synthesis of memory-efficient, clock-memory free, and non-Zeno safety controllers for timed systems (Q388224) (← links)
- Robust reachability in timed automata and games: a game-based approach (Q481098) (← links)
- Timed games with bounded window parity objectives (Q2112117) (← links)
- Timed network games (Q2112796) (← links)
- Shrinking timed automata (Q2637311) (← links)
- (Q5005123) (← links)
- Differential Game Logic (Q5277902) (← links)
- Parity games on temporal graphs (Q6629452) (← links)
