扩展向量加法系统上的可达性游戏
摘要：限制计数器数量和/或目标配置集合的情况下，我们研究由扩展向量加法状态系统生成的具有零可达性和零安全性目标的双人轮流游戏。尽管在一般情况下决定游戏的赢家问题是不可判定的，但我们确定了该问题的几个可判定甚至可处理的子案例。
作者：Tomas Brazdil, Petr Jancar, Antonin Kucera
论文ID：1002.2557
分类：Computer Science and Game Theory
分类简称：cs.GT
提交时间：2010-02-15