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.
KeywordsModel Check Winning Strategy Constructive Proof Winning Region Maximum Parity
Unable to display preview. Download preview PDF.