From Local To Global Optimality in Concurrent Parity Games.
CoRR(2023)
摘要
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.
更多查看译文
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要