综合安全博弈中的简洁策略
计算机科学中的逻辑
2014-05-08 v2 计算机科学与博弈论
摘要
有限回合制安全博弈已被用于解决截然不同的问题，例如线性时序逻辑 (LTL) 的综合、运行在多处理器平台上的计算机系统的调度器综合，以及时间自动机的确定化。在这些语境中，博弈是隐式定义的，其规模至少是输入规模的指数级。尽管如此，此类博弈的竞技场状态之间存在自然关系。我们首先借助交替模拟 (alternating simulation) 的概念，形式化了我们对状态间关系所期望的性质。随后，我们展示了如何利用此类模拟来 (1) 提高计算获胜策略的 OTFUR 算法的运行时间，以及 (2) 获得获胜策略的简洁表示。我们还证明了我们的通用理论适用于上述三种应用。
引用
@article{arxiv.1404.6228,
title = {Synthesising Succinct Strategies in Safety Games},
author = {Gilles Geeraerts and Joël Goossens and Amélie Stainer},
journal= {arXiv preprint arXiv:1404.6228},
year = {2014}
}
备注
25 pags, 4 figures, 2 algorithms. Submitted