攻击者 - 防御者博弈语境下无限词上的加权自动机
形式语言与自动机理论
2015-04-28 v3 计算机科学与博弈论
计算机科学中的逻辑
摘要
我们考虑具有可达性目标的无限状态攻击者 - 防御者博弈。本文结果包含两个方面。首先，我们证明了关于无限词上加权自动机的一个新语言理论结果，并展示了其在攻击者 - 防御者博弈框架中的编码。其次，我们利用这一新概念证明了在几种低维数学博弈（包括向量可达性博弈、词博弈和辫子博弈）中检查获胜策略存在性的不可判定性。
引用
@article{arxiv.1411.4796,
title = {Weighted automata on infinite words in the context of Attacker-Defender games},
author = {Vesa Halava and Tero Harju and Reino Niskanen and Igor Potapov},
journal= {arXiv preprint arXiv:1411.4796},
year = {2015}
}
备注
23 pages, 5 figures