高阶推栈自动机上游戏的复杂性
摘要：高阶推动自动机上决定达成目标游戏中获胜者的问题的n-EXPTIME下界证明。该下界与高阶推动自动机上平衡游戏的已知上界相匹配。作为结果，给定n-HPDA的图上的mu-演算模型检查是n-EXPTIME完备的。
作者：Thierry Cachat (LIAFA), Igor Walukiewicz (LaBRI)
论文ID：0705.0262
分类：Computer Science and Game Theory
分类简称：cs.GT
提交时间：2007-05-23