From Local To Global Optimality in Concurrent Parity Games
Computer Science and Game Theory
2023-11-27 v1
Abstract
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 positional optimal strategies, whereas even basic concurrent reachability games may fail to have optimal strategies. We study concurrent stochastic parity games, and identify a local structural condition that, when satisfied at each state, guarantees existence of positional optimal strategies for both players.
Keywords
Cite
@article{arxiv.2311.14373,
title = {From Local To Global Optimality in Concurrent Parity Games},
author = {Benjamin Bordais and Patricia Bouyer and Stéphane Le Roux},
journal= {arXiv preprint arXiv:2311.14373},
year = {2023}
}