Canonical Progress Measures for Parity Games

Abstract

A progress measure for a parity game is a labeling s(·) of the vertices of the game that witnesses winning strategies for the players: Player 0 (Even) and Player 1 (Odd). We give a natural definition of a canonical progress measure for a parity game G directly, without translating into the μ-calculus. The label s(u) of a vertex u is defined to be the value… (More)

Topics

Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.

Slides referencing similar topics