Positional Determinacy with Colored Vertices: a 1-to-2-Player Lift

Raphaël Berthon, Stéphane Le Roux

Positional determinacy of vertex-colored parity games was proved in the 1990s, which directly implies positional determinacy of edge-colored parity games. In 2006, it was shown tha…