无交替 $\mu$-演算的全局缓存
计算机科学中的逻辑
2016-09-22 v1
摘要
我们提出了一种针对无交替 -演算的可靠、完备且最优的单遍 tableau 算法。该算法支持带有中间传播的全局缓存，运行时间为 。在博弈论术语中，我们的算法将构建和求解由输入 tableau 产生的 Büchi 博弈的步骤集成到一个单一过程中；这是即时完成的，即可能在博弈完全构建之前就终止。这引出了一个口号：全局缓存 = 即时博弈求解。一个原型实现展示了有前景的初步结果。
引用
@article{arxiv.1609.06379,
title = {Global Caching for the Alternation-free $\mu$-Calculus},
author = {Daniel Hausmann and Lutz Schröder and Christoph Egger},
journal= {arXiv preprint arXiv:1609.06379},
year = {2016}
}