From Local To Global Optimality in Concurrent Parity Games

Benjamin Bordais, Patricia Bouyer, Stéphane Le Roux

We study two-player games on finite graphs. Turn-based games have many nice properties, but concurrent games are harder to tame: e.g. turn-based stochastic parity games have positi…