无共享随机性的团队博弈中的 Limit-sure 获胜

论文研究多个智能体在无共享随机源、仅各自持有随机源时对抗环境的并发随机博弈。针对可达性目标，limit-sure 问题被证明为 NP-complete；针对安全性目标，limit-sure 获胜与 almost-sure 获胜一致且属于 P。由此推出 Individually Randomised ATL 定性片段的模型检测为 P^NP-complete。