The following pages link to Explicit Muller Games are PTIME (Q3165962):
Displaying 6 items.
- Alternating traps in Muller and parity games (Q389948) (← links)
- Down the Borel hierarchy: solving Muller games via safety games (Q477197) (← links)
- Constrained existence problem for weak subgame perfect equilibria with \(\omega \)-regular Boolean objectives (Q2029600) (← links)
- Stochastic Games with Finitary Objectives (Q3182912) (← links)
- (Q5009445) (← links)
- Deciding Parity Games in Quasi-polynomial Time (Q5073521) (← links)
