通过获胜条件的布尔组合扩展有限记忆确定性

我们研究有限图上游游戏的有限记忆（FM）确定性，这是控制器综合应用中的核心问题，因为 FM 策略对应于可实现的控制器。我们建立了在何种一般条件下 FM 策略足以最优地进行博弈，即便在广泛的多目标设定中也是如此。我们表明，我们的框架涵盖了文献中重要的游戏类，并允许借助统一方法更进一步。尽管此类方法在记忆界紧致性方面无法与针对特定问题的证明相比，它有两个优势：首先，它给出了一个广泛适用的 FM 确定性判据；其次，它有助于理解 FM 确定性的基石，这些基石在特定（组合）获胜条件的证明中往往被隐藏却共同存在。