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.
Articles by others on the same topic
There are currently no matching articles.