Parity game: Revision history

Jump to navigation Jump to search

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

14 July 2024

  • curprev 08:2508:25, 14 July 2024 imported>Oleshkowitz m 11,329 bytes +11,329 (1) The winning condition for finite plays is as usual, we only consider here infinite plays. (2) Changed player even to player 0, to be consistent with the rest of the text.
Retrieved from "https://en.wiki.beta.math.wmflabs.org/wiki/Parity_game"