论文标题
在子游戏中的完美平衡上，基于转向的可及性计时游戏
On Subgame Perfect Equilibria in Turn-Based Reachability Timed Games
论文作者
论文摘要
我们研究具有可及性目标的基于多人转弯的定时游戏。特别是，我们对子游戏完美平衡（SPE）的概念感兴趣。我们证明，在此设置中确定SPE的受约束存在是Exptime-Complete。
We study multiplayer turn-based timed games with reachability objectives. In particular, we are interested in the notion of subgame perfect equilibrium (SPE). We prove that deciding the constrained existence of an SPE in this setting is EXPTIME-complete.
