托马斯·布拉兹迪尔;彼得·扬查尔;安东·库切拉 带状态的扩展向量加法系统上的可达性对策。 (英语) Zbl 1288.68179号 Abramsky,Samson(编辑)等人,《自动化,语言和编程》。第37届国际学术讨论会,ICALP 2010,波尔多,法国,2010年7月6日至10日。诉讼,第二部分。柏林:施普林格出版社(ISBN 978-3-642-14161-4/pbk)。计算机科学课堂讲稿6199478-489(2010)。 摘要:我们考虑由具有状态的扩展向量加法系统生成的具有零可到达性和零安全目标的两层循环博弈。虽然在此类游戏中决定胜利者的问题通常无法确定,但我们通过限制计数器数量和/或目标配置集来确定此问题的几个可确定甚至可处理的子问题。关于整个系列,请参见[Zbl 1194.68006号]. 引用于4评论引用于17文件 MSC公司: 第68季度85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等) PDF格式BibTeX公司 XML格式引用 \文本{T.Brázdil}等人,Lect。注释计算。科学。6199,478--489(2010年;Zbl 1288.68179) 全文: 内政部