The following pages link to (Q6134270):
Displaying 8 items.
- Memoryless determinacy of finite parity games: another simple proof (Q1705645) (← links)
- Predictive Complexity for Games with Finite Outcome Spaces (Q2805719) (← links)
- (Q5028465) (← links)
- (Q6134270) (← links)
- Characterizing omega-regularity through finite-memory determinacy of games on infinite graphs (Q6566586) (← links)
- Characterizing positionality in games of Infinite duration over infinite graphs (Q6566588) (← links)
- Half-positional objectives recognized by deterministic Büchi automata (Q6597970) (← links)
- Characterizing positionality in games of infinite duration over infinite graphs (Q6649452) (← links)