The following pages link to (Q4372463):
Displaying 8 items.
- Down the Borel hierarchy: solving Muller games via safety games (Q477197) (← links)
- Learning of winning strategies for terminal games with linear-size memory (Q532661) (← links)
- Exhausting strategies, joker games and full completeness for IMLL with unit (Q1398468) (← links)
- Playing with mixed strategies on infinite sets (Q1414441) (← links)
- Automata and Compositional Strategies in Extensive Form Games (Q2817411) (← links)
- Winning an infinite combination of games (Q2902668) (← links)
- On the synthesis of strategies in infinite games (Q4596605) (← links)
- Computer Aided Verification (Q5900671) (← links)