摘要
E.Albert、P.Arenas、S.Genaim、M.Gómez-Zamalloa、G.Puebla、D.V.Ramírez-Deantes、G.Román-Díez和D.Zanardini。 2009年,COSTA及其用户界面的终止和成本分析。 ENTCS 258,1(2009),109--121。 谷歌学者 数字图书馆 C.Alias、A.Darte、P.Feautrier和L.Gonnord。 2010年,流程图程序的多维排名、程序终止和复杂性界限。 程序中。 SAS 2010。 117--133. 谷歌学者 数字图书馆 B.Aminof、S.Rubin和F.Zuleger。 2015.关于参数化系统中通信原语的表达能力。 程序中。 2015年LPAR。 313--328. 谷歌学者 数字图书馆 B.Aminof、S.Rubin、F.Zuleger和F.Spegni。 2015年,参数化定时网络的活力。 程序中。 ICALP 2015。 375--387. 谷歌学者 数字图书馆 M.F.Atig和P.Habermehl。 2011.关于Yen的Petri网的路径逻辑。 《国际计算机科学基础杂志》22,04(2011),783-799。 谷歌学者 交叉引用 R.Bloem、S.Jacobs、A.Khalimov、I.Konnov、S.Rubin、H.Veith和J.Widder。 2016.参数化验证的可决定性。 SIGACT新闻47,2(2016),53--64。 谷歌学者 数字图书馆 L.Bozzelli和P.Ganty。 2011.VASS向后覆盖算法的复杂性分析。 程序中。 RP 2011的。 96--109. TomâbrowÅbrow Brâbrow zdil、Krishnendu Chatterjee、Antonâŋ n Kuáŋ 时代,彼得·诺沃顿;, Dominik Velan,弗洛里安·祖勒格 谷歌学者 数字图书馆 T.Brázdil、C.Chatterjee、A.Kučera、P.Novotní、D.Velan和F.Zuleger。 2018.VASS中终止时间渐近界的有效算法。 arXiv:1804.10985。 谷歌学者 Q.Carbonneaux、J.Hoffmann、T.W.Reps和Z.Shao。 2017.使用Coq证明对象进行自动资源分析。 程序中。 2017年CAV。 64--85. 谷歌学者 K.Chatterjee、L.Doyen、T.A.Henzinger和J-F.Raskin。 2010年,广义意义回报和能源游戏。 程序中。 2010年FSTTCS。 505--516. 谷歌学者 K.Chatterjee和Y.Velner。 2013年,多维Mean-Payoff游戏的超平面分离技术。 程序中。 2013年CONCUR。 500--515. 谷歌学者 数字图书馆 T.Colcombet、M.Jurdzinski、R.Lazic和S.Schmitz。 2017年,完美半空间游戏。 程序中。 LICS 2017版。 1--11. 谷歌学者 J.埃斯帕尔扎。 1998。Petri网问题的可判定性和复杂性——简介。 关于Petri网的讲座I:基本模型(1998),374-428。 谷歌学者 数字图书馆 J.Esparza、R.Ledesma-Garza、R Majumdar、P.Meyer和F.Niksic。 2014.基于SMT的覆盖性分析方法。 程序中。 CAV 2014版。 603到619之间。 谷歌学者 数字图书馆 J.Esparza和M.Nielsen。 1994.Petri网的可决定性问题——一项调查。 EATCS公报52(1994),245--262。 谷歌学者 A.F.Montoya和R.Hähnle。 2014.使用成本方程对复杂项目进行资源分析。 程序中。 2014年APLAS。 275--295. 谷歌学者 J.Giesl、C.Aschermann、M.Brockschmidt、F.Emmes、F.Frohn、C.Fuhs、J.Hensel、C.Otto、M.Plücker、P.Schneider-Kamp、T.Ströder、S.Swiderski和R.Thiemann。 2017.使用AProVE自动分析程序终止和复杂性。 J.汽车。 推理58,1(2017),3--31。 谷歌学者 数字图书馆 S.Gulwani、K.K.Mehra和T.M.Chilimbi,2009年。 SPEED:对程序计算复杂度进行精确有效的静态估计。 程序中。 POPL 2009的。 127--139. 谷歌学者 数字图书馆 S.Gulwani和F.Zuleger。 2010年,可达性界限问题。 程序中。 PLDI 2010版。 292--304. 谷歌学者 数字图书馆 J.Hoffmann、K.Aehlig和M.Hofmann。 2012.多元摊销资源分析。 ACM事务处理。 程序。 语言系统。 34, 3 (2012), 14:1--14:62. 谷歌学者 数字图书馆 M.Jurdzinski、R.Lazic和S.Schmitz。 2015年,固定维能源游戏正处于伪多项式时期。 程序中。 ICALP 2015。 260--272. 谷歌学者 数字图书馆 R.M.Karp和R.E.Miller。 1969.并行程序模式。 J.计算。 系统。 科学。 3, 2(1969), 147--195. 谷歌学者 数字图书馆 S.R.Kosaraju公司。 1982.向量加法系统可达性的判定(初版)。 程序中。 STOC 1982。 美国医学会,267--281。 谷歌学者 数字图书馆 S.R.Kosaraju和G.F.Sullivan。 1988.检测多项式时间动态图中的循环。 程序中。 1988年STOC发布。 398--406. 谷歌学者 数字图书馆 J.勒鲁。 2011.向量加法系统可达性问题:一个简短的自包含证明。 程序中。 POPL 2011。 ACM,307--316。 谷歌学者 数字图书馆 J.Leroux和S.Schmitz。 2015.载体添加系统中可达性的解密。 程序中。 LICS 2015版。 56--67. 谷歌学者 数字图书馆 J.Leroux和P.Schnoebelen。 2014.关于Petri网和向量加法系统的弱可计算函数。 程序中。 RP 2014的。 190--202. 谷歌学者 R.利普顿。 1976年,可达性问题需要指数空间。 耶鲁大学技术报告62。 谷歌学者 E.迈尔。 1984。一般Petri网可达性问题的算法。 SIAM-JC 13(1984),441-460。 谷歌学者 交叉引用 A.Podelski和A.Rybalchenko。 2004.线性排序函数综合的完整方法。 程序中。 VMCAI 2004版。 239--251. 谷歌学者 C.拉科夫。 1978.向量加法系统的覆盖和有界问题。 西奥。 公司。 科学。 6 (1978), 223--231. 谷歌学者 交叉引用 S.施密茨。 2016年,《基础之外的复杂性层次》。 ACM事务处理。 计算。 理论8,1(2016年2月),3:1--3:36。 谷歌学者 数字图书馆 M.Sinn、F.Zuleger和H.Veith。 2014年,一项简单且可扩展的静态分析,用于边界分析和摊销复杂性分析。 2014年CAV程序。 745--761. 谷歌学者 数字图书馆 M.Sinn、F.Zuleger和H.Veith。 2017年,使用差异约束对紧急计划的复杂性和资源约束分析。 J.汽车。 推理59,1(2017),3-45。 谷歌学者 数字图书馆 Y.Velner、K.Chatterjee、L.Doyen、T.A.Henzinger、A.M.Rabinovich和J-F.Raskin。 2015年,多平手和多能源游戏的复杂性。 Inf.计算。 241 (2015), 177--196. 谷歌学者 数字图书馆 L.Yang、C.Zhou、N.Zhan和B.Xia。 2010年,通过计算机代数进行程序验证的最新进展。 中国计算机科学前沿4,1(2010),1-16。 谷歌学者 交叉引用 H.-C.日元。 1992.确定某些Petri网路径存在性的统一方法。 Inf.计算。 96, 1 (1992), 119--137. 谷歌学者 数字图书馆
建议
VASS终端复杂性的有效分析 LICS’20:第35届ACM/IEEE计算机科学逻辑年会论文集 给定VASS的终止复杂度是一个函数L,该函数分配给在所有计数器都以n为界的配置中启动的最长非终止计算的每n个长度。。。