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.

中文翻译：

---

回合制可达性计时游戏中的子博弈完美均衡

我们研究具有可达性目标的多人回合制计时游戏。特别是，我们对子博弈完美均衡（SPE）的概念感兴趣。我们证明在此设置中确定 SPE 的受约束存在是 EXPTIME-complete。