The following pages link to (Q4414504):
Displaying 9 items.
- Combinatorial structure and randomized subexponential algorithms for infinite games (Q817809) (← links)
- Update games and update networks (Q876693) (← links)
- Infinite games played on finite graphs (Q1314640) (← links)
- The complexity of mean payoff games on graphs (Q1351468) (← links)
- Weak observable liveness and infinite games on finite graphs (Q1662538) (← links)
- McNaughton games and extracting strategies for concurrent programs (Q1919769) (← links)
- Infinite games on finite graphs using grossone (Q2156891) (← links)
- Extracting Winning Strategies in Update Games (Q3091450) (← links)
- Deciding Parity Games in Quasi-polynomial Time (Q5073521) (← links)