A parity game is a type of two-player infinite game played on a directed graph, where the nodes of the graph are assigned priorities (non-negative integers). The two players, commonly referred to as Player 0 and Player 1, take turns moving a token along the edges of the graph, starting from an initial node. The objective of each player is to ensure that the path taken by the token satisfies certain conditions related to the priorities of the nodes.
New to topics? Read the docs here!