德米特里·奇斯蒂科夫;克里斯托夫·哈斯;西蒙,哈尔芬 带整数计数器和重置的无上下文交换文法。 (英语) Zbl 1393.68087号 西奥。计算。科学。 735, 147-161 (2018).MSC公司:2012年第68季度 2017年第68季度 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{D.Chistikov}等人,Theor。计算。科学。735、147--161(2018;Zbl 1393.68087) 全文: 内政部 arXiv公司 链接
雨果·巴兹勒;奥利维尔·伯内兹;瓦利德·戈马;阿默里·波利 关于分段仿射系统有界时间的复杂性和精度可达性。 (英语) Zbl 1393.68066号 西奥。计算。科学。 735, 132-146 (2018).MSC公司:65年第68季度 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Bazille}等人,Theor。计算。科学。735132-146(2018年;兹比尔1393.68066) 全文: 内政部 arXiv公司
谢尔盖·哈达德;本杰明·蒙梅格 MDP和IMDP的区间迭代算法。 (英语) Zbl 1393.68103号 西奥。计算。科学。 735, 111-131 (2018).MSC公司:60年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Haddad}和\textit{B.Monmege},Theor。计算。科学。735、111--131(2018;Zbl 1393.68103) 全文: 内政部 哈尔
保罗·亨特;阿诺·保利;吉列尔莫·A·佩雷斯。;Jean-François拉斯金 部分观测的平均收益博弈。 (英语) Zbl 1393.68105号 西奥。计算。科学。 735, 82-110 (2018).MSC公司:60年第68季度 91A43型 PDF格式BibTeX公司 XML格式引用 \textit{P.Hunter}等人,Theor。计算。科学。735,82-110(2018;Zbl 1393.68105) 全文: 内政部 链接
亚历克桑德拉·约瓦诺维奇;玛尔塔·奎亚特科夫斯卡 基于随机博弈抽象的概率时间自动机参数综合。 (英语) Zbl 1393.68096号 西奥。计算。科学。 735, 64-81 (2018).MSC公司:65年第68季度 60年第68季度 87年第68季度 91A15型 PDF格式BibTeX公司 XML格式引用 \textit{A.Jovanović}和\textit{M.Kwiatkowska},Theor。计算。科学。735,64-81(2018;Zbl 1393.68096) 全文: 内政部
彼得·霍夫曼;帕特里克·托茨克 重新访问了单计数器网络的跟踪包含。 (英语) Zbl 1393.68118号 西奥。计算。科学。 735, 50-63 (2018).MSC公司:68问题85 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Hofman}和\textit{P.Totzke},Theor。计算。科学。735,50-63(2018;Zbl 1393.68118) 全文: 内政部 arXiv公司
吉勒·杰勒茨;乔·古森;阮,Thi-Van-Anh;阿梅利·施泰纳 综合安全游戏中的简洁策略,并应用于实时调度。 (英语) Zbl 1393.68038号 西奥。计算。科学。 735, 24-49 (2018).MSC公司:68平方米 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{G.Geeraerts}等人,Theor。计算。科学。735,24-49(2018;Zbl 1393.68038) 全文: 内政部
斯特凡·德姆里;阿米特·库马尔·达尔;阿诺德·桑尼尔 模型检查平面计数器系统和Presburger算法之间的等效性。 (英语) Zbl 1393.68100号 西奥。计算。科学。 735, 2-23 (2018).MSC公司:60年第68季度 03B44号 30楼03号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}等人,Theor。计算。科学。735,2--23(2018;Zbl 1393.68100) 全文: 内政部
约尔·瓦克宁(编辑);伊戈尔·波塔波夫(编辑);詹姆斯·沃雷尔(编辑) 2014年可达性问题:特刊。 (英语) Zbl 1395.00081号 西奥。计算。科学。 735, 1 (2018).MSC公司:00B25型 68-06 PDF格式BibTeX公司 XML格式引用 \textit{J.Ouaknine}(编辑)等人,Theor。计算。科学。735,1(2018;Zbl 1395.00081) 全文: 内政部