Memoryless Determinacy of Parity Games
In Chapter 2, parity games were introduced and it was claimed that these games are determined and that both players have memoryless winning strategies. The main purpose of this chapter is to provide proofs for this claim.
Unable to display preview. Download preview PDF.