Pages that link to "Item:Q3679155"
From MaRDI portal
The following pages link to State-strategies for games in <i>F<sub>σδ</sub></i> ∩ <i>G<sub>δσ</sub></i> (Q3679155):
Displaying 11 items.
- Topological extension of parity automata (Q388217) (← links)
- Gurevich-Harrington's games defined by finite automata (Q685082) (← links)
- Extension of Gurevich-Harrington's restricted memory determinacy theorem: A criterion for the winning player and an explicit class of winning strategies (Q752703) (← links)
- Infinite games on finitely coloured graphs with applications to automata on infinite trees (Q1276252) (← links)
- Determinization and memoryless winning strategies (Q1357005) (← links)
- Games for synthesis of controllers with partial observation. (Q1401346) (← links)
- Monadic second-order logic on tree-like structures (Q1606130) (← links)
- Dynamic control with indistinguishable events (Q2256883) (← links)
- Index appearance record with preorders (Q2675810) (← links)
- (Q4452102) (← links)
- Permissive strategies: from parity games to safety games (Q4800258) (← links)