文件大小：0.54 MB 16页
无上下文游戏概述
作者
-
部分： 体积： 第36届IARCS软件技术和理论计算机科学基础年会（FSTTCS 2016）
系列： 莱布尼茨国际信息学会议录（LIPIcs）
会议： IARCS软件技术和理论计算机科学基础年会（FSTTCS） 许可证： 
Creative Commons Attribution 3.0未出口许可证 出版日期：2016-12-10
文件
文件标识符
引用为 获取BibTex
摘要
关键词
摘要 无上下文游戏 Kleene迭代 过渡幺半群 战略综合
韵律学
-
访问统计信息 总访问次数（每周更新） 0 PDF下载
工具书类
-
算法的实现。 发布日期：2016-17-07。 网址： https://concurrency.informatik.uni-kl.de/rigg.html . -
P.A.Abdulla、K.Cerans、B.Jonsson和Y.-K.Tsay。 无限状态系统的一般可判定性定理。 在LICS中，第313-3211996页。 
-
P.A.Abdulla、Y.Chen、L.Clemente、L.Holík、C.-D.Hong、R.Mayr和T.Vojnar。 基于Ramsey的Büchi自动机通用性和包含性测试中的模拟包含。 在CAV中，LNCS第6174卷，第132-147页。 施普林格，2010年。
-
P.A.Abdulla、Y.Chen、L.Clemente、L.Holík、C.-D.Hong、R.Mayr和T.Vojnar。 高级基于拉姆齐的Büchi自动机包含测试。 CONCUR，LNCS第6901卷，第187-202页。 施普林格，2011年。
-
P.A.Abdulla、F.Haziza和L.Holík。 只为少数人付出代价。 在VMCAI中，LNCS第7737卷，第476-495页。 施普林格，2013年。
-
D.拜尔。 软件验证和可验证的见证人（关于sv-comp的报告）。 在TACAS中，LNCS第9035卷，第401-416页。 斯普林格，2015年。
-
D.拜尔。 与benchexec和目击者的可靠和可复制的竞争结果（sv-comp报告）。 在TACAS中，LNCS第9636卷，第887-904页。 斯普林格，2016年。
-
H.Björklund、M.Schuster、T.Schwentick和J.Kulbatzki。 关于主动无上下文游戏的最佳从左到右策略。 在ICDT中，第105-116页。 ACM，2013年。
-
A.Bouajjani、J.Esparza和O.Maler。 下推自动机的可达性分析：在模型检查中的应用。 CONCUR，LNCS第1243卷，第135-150页。 施普林格，1997年。
-
C.Broadbent、A.Carayol、M.Hague和Olivier O.Serre。 C-SHORe：一种可折叠的高阶验证方法。 ACM SIGPLAN通知，48（9）：13-242013。
-
C.Broadbent和N.Kobayashi。 高阶递归格式的基于饱和的模型检验。 在CSL中，LIPIcs第23卷，第129-148页。 Dagstuhl，2013年。
-
J.R.Büchi。 关于限制二阶算法中的决策方法，第425-435页。 斯普林格，1990年。
-
T.Cachat。 下推图上游戏的符号策略合成。 在ICALP中，LNCS第2380卷，第704-715页。 斯普林格，2002年。
-
A.Carayol和M.Hague。 模型检查下推系统的饱和算法。 在AFL中，EPTCS第151卷，第1-24页，2014年。
-
B.A.Davey和H.A.Priestley。 格与序简介。 杯子，1990年。
-
J.Esparza、S.Kiefer和M.Luttenberger。 牛顿程序分析。 JACM，57（6），2010年。
-
J.Fiedor、L.Holík、P.Jank\ou、O.LengáL和T.Vojnar。 WS1S的惰性自动机技术。 技术报告FIT-TR-2016-01，布尔诺理工大学，2016年。
-
A.Finkel、B.Willems和P.Wolper。 模型检查下推系统的直接符号方法。 ENTCS，1997年9月27日至37日。
-
S.Fogarty和M.Y.Vardi。 高效的Büchi通用性检查。 在TACAS中，LNCS第6015卷，第205-220页。 施普林格，2010年。
-
Z.Ganjei、A.Rezine、P.Eles和Z.Peng。 懒惰约束的单调抽象。 在VMCAI中，LNCS第9583卷，第147-165页。 斯普林格，2016年。
-
P.Ganty、J.-F.Raskin和L.Begin。 WSTS覆盖性属性的完整抽象解释框架。 在VMCAI中，第49-64页。 斯普林格，2006年。
-
M.Hague和C.H.L.Ong。 下推平价游戏的获胜区域：饱和方法。 在CONCUR中，LNCS第5710卷，第384-398页。 施普林格，2009年。
-
M.Hague和C.H.L.Ong。 分析下推系统的微积分性质。 在SPIN中，LNCS第6349卷，第187-192页。 施普林格，2010年。
-
M.Heizmann、J.Hoenicke和A.Podelski。 嵌套插值。 在POPL中，第471-482页。 ACM，2010年。
-
L.Holík、R.Meyer和S.Muskalla。 无上下文游戏摘要。 CoRR，abs/1603.072562016年。 网址： http://arxiv.org/abs/1603.07256 . -
A.Kaiser、D.Kroening和T.Wahl。 通过最小化证明进行有效覆盖性分析。 CONCUR，第500-515页。 施普林格，2012年。
-
J.Kloos、R.Majumdar、F.Niksic和R.Piskac。 增量感应覆盖率。 在CAV中，LNCS第9206卷，第158-173页。 施普林格，2013年。
-
O.Kupferman、N.Piterman和M.Y.Vardi。 无限状态系统的自动机理论方法。 《及时验证：纪念埃米尔·普努利的论文》，LNCS第6200卷，第202-259页。 施普林格，2010年。
-
Z.Long、G.Calin、R.Majumdar和R.Meyer。 语言理论抽象细化。 在FASE中，LNCS第7212卷，第362-376页。 施普林格，2012年。
-
A.Muscholl、T.Schwentick和L.Segoufin。 活跃的无上下文游戏。 计算系统理论，39（1）：237-2762005。
-
N.Piterman和M.Y.Vardi。 无限状态系统的全局模型检查。 在CAV中，LNCS第3114卷，第387-400页。 斯普林格，2004年。
-
S.J.Ramsay、R.P.Neatherway和C.-H.L.Ong。 一种用于高阶模型检查的类型定向抽象精化方法。 在POPL中，第61-72页。 ACM，2014年。
-
T.Reps、S.Horwitz和M.Sagiv。 通过图形可达性进行精确的过程间数据流分析。 在POPL中，第49-61页。 ACM，1995年。
-
M.Schuster和T.Schwentick。 活动XML游戏重温。 在ICDT中，LIPIcs第31卷，第60-75页。 Dagstuhl，2015年。
-
S.Schwoon。 模型检查下推系统。 博士论文，慕尼黑大学，2002年。
-
O.塞雷尔。 注意在欧米茄规则条件下的下推游戏中的获胜位置。 IPL，85（6）：285-2912003年。
-
M.Sharir和A.Pnueli。 两种过程间数据流分析方法。 《技术报告2》，纽约大学，1978年。
-
A.P.Sistla、M.Y.Vardi和P.Wolper。 Büchi自动机的互补问题及其在时序逻辑中的应用。 在ICALP中，LNCS第194卷，第217-237页。 施普林格，1985年。
-
D.Suwimonteerabbth、S.Schwoon和J.Esparza。 交替下推系统的高效算法及其在证书链计算中的应用。 在ATVA，LNCS第4218卷，第141-153页。 斯普林格，2006年。
-
D.Tabakov和M.Y.Vardi。 经典自动机构造的实验评估。 在LPAR中，LNCS第3835卷，第396-411页。 斯普林格，2005年。
-
瓦利。 访问时间：2016-16-07。 网址： https://research.cs.wisc.edu/wpis/wpds/download.php . -
一、Walukiewicz。 下推过程：游戏和模型检查。 IC，164（2）：234-2632001年。
-
M.Wulf、L.Doyen、T.A.Henzinger和J.-F.Raskin。 反链：一种检查有限自动机通用性的新算法。 在CAV中，LNCS第4144卷。 斯普林格，2006年。
-
M.De Wulf、L.Doyen和J.-F.Raskin。 解不完全信息博弈的格理论。 在HSCC中，LNCS第3927卷，第153-168页。 斯普林格，2006年。