The following pages link to Algorithms for Parity Games (Q4412830):
Displaying 14 items.
- Deciding the winner in parity games is in \(\mathrm{UP}\cap\mathrm{co-UP}\) (Q293426) (← links)
- Alternating traps in Muller and parity games (Q389948) (← links)
- Parity game reductions (Q1656552) (← links)
- Complexity of tropical and MIN-plus linear prevarieties (Q2353186) (← links)
- Games for verification: Algorithmic issues (Q2763539) (← links)
- Parameterized Algorithms for Parity Games (Q2946404) (← links)
- (Q3059328) (← links)
- Recursive algorithm for parity games requires exponential time (Q3117548) (← links)
- (Q4418690) (← links)
- Polynomial-Time Under-Approximation of Winning Regions in Parity Games (Q4982057) (← links)
- (Q5013885) (← links)
- A Multi-Core Solver for Parity Games (Q5415659) (← links)
- Generalized Parity Games (Q5758061) (← links)
- Parallel repetition for all 3-player games over binary alphabet (Q6083554) (← links)