奇偶博弈中宽容获胜策略模板的综合

我们提出了一种在具有 $\omega$-正则获胜条件的有限图双人博弈中计算宽容获胜策略（permissive winning strategies）的新方法。给定博弈图 $G$ 和奇偶获胜条件 $\Phi$，我们计算一个获胜策略模板 $\Psi$，该模板以简洁的数据结构收集了针对目标 $\Phi$ 的无限多个获胜策略。我们利用这种获胜策略集合的新表示来解决信息物理系统设计中双人博弈应用所衍生的两个问题——（i）增量综合（incremental synthesis），即针对新到达的附加 $\omega$-正则目标 $\Phi'$ 调整策略，以及（ii）容错控制（fault-tolerant control），即针对执行器偶发或持续不可用的情况调整策略。我们的策略模板用于解决这些挑战的主要特性是易于计算、可适应性和可组合性。对于增量综合，我们在一 large 基准测试集上通过实证表明，当新增规范数量增加时，我们的技术大幅优于现有方法。尽管我们的方法不完全（not complete），我们的原型实现在所有 1400 个基准实例中均返回了完整获胜区域，即在实际中高效处理了一大类问题。