Two-Player Games 中的策略与轨迹
计算机科学中的逻辑
2026-03-03 v4
摘要
轨迹是进程中状态之间粗糙语义等价性的概念，已被用于各种类型的系统进行 coalgebraic 研究。我们针对控制器与环境游戏，包含非确定性和概率环境，实例化Hasuo等人的 finitary coalgebraic 轨迹语义框架。尽管我们的单子选择受到该抽象框架约束，但它们使我们能够恢复熟悉的博弈论概念。具体而言，我们展示在这些游戏中，每个轨迹映射元素对应于控制器可以强制的玩法集合（子集或分布）。此外，每个元素可视为遵循控制器策略的结果。我们的结果以弱分散律为参数，该分散律计算控制器在单一步骤中能强制的内容。
引用
@article{arxiv.2510.24252,
title = {Traces via Strategies in Two-Player Games},
author = {Benjamin Plummer and Corina Cirstea},
journal= {arXiv preprint arXiv:2510.24252},
year = {2026}
}