欧文·恩格尔 被遗忘的证据理论？ （英语） Zbl 1509.03157号 日志。方法计算。科学。 15，第3号，第6号论文，第6页（2019）. MSC公司： 03财年03 一般证明理论（包括证明理论语义） PDF格式BibTeX公司 XML格式引用 \textit{E.Engeler}，日志。方法计算。科学。15，第3号，第6号论文，第6页（2019年；Zbl 1509.03157） 全文： arXiv公司 参考文献： [1] 帕罗什·阿卜杜拉（Parosh Abdulla）、乔治·德尔扎诺（Giorgio Delzanno）、奥斯曼·雷津（Othmane Rezine）、阿诺德·桑尼尔（Arnaud Sangnier）和里卡多·特拉维索（Riccardo Traverso）。关于定时自组网的验证。《格式会议录》第11卷第6919卷·Zbl 0949.03055号 [2] 帕罗什·阿卜杜拉和本特·琼森。具有许多相同定时进程的系统的模型检查。理论计算机科学，290（1）：241-2632003·Zbl 0482.08005号 [3] S.Akshay、Blaise Genest、Bruno Karelovic和Nikhil Vyas。关于一元概率自动机的正则性。《STACS’16会议录》，莱布尼茨国际信息学会议录第47卷，第8:1-8:14页。莱布尼茨-中央情报局，2016年·Zbl 1388.68156号 [4] 达娜·安格鲁因（Dana Angluin）、詹姆斯·阿斯普内斯（James Aspnes）、佐·迪亚马迪（Zo¨e Diamadi）、迈克尔·菲舍尔（Michael J.Fischer）和雷恩·佩拉塔（Ren´e Peralta）。被动移动有限状态传感器网络中的计算。2004年PODC会议记录，第290-299页。ACM，2004年·兹比尔1321.68058 [5] 安德烈·阿诺德、艾默尔·文森特和伊戈尔·瓦卢基维奇。具有部分观测的控制器合成游戏。理论计算机科学，1（303）：7-342003·Zbl 1175.93148号 [6] Nathalie Bertrand和Paulin Fournier。许多相同概率定时过程的参数化验证。《FSTTCS’13会议录》，莱布尼茨国际信息学会议录第24卷，第501-513页。莱布尼茨-中央情报局，2013年·Zbl 1122.01017号 [7] Nathalie Bertrand、Paulin Fournier和Arnaud Sangnier。在可重构广播网络中玩概率游戏。《FoSSaCS’14会议录》，《计算机科学讲义》第8412卷，第134-148页。斯普林格，2014年·Zbl 1192.01022号 [8] Michael Blondin、Javier Esparza和Anton´ın Kucera。人口协议预期终止时间的自动分析。2018年CONCUR’18会议记录，第33:1-33:16页·Zbl 1031.01011号 [9] 汤姆饰演布莱·阿兹迪尔、彼得·扬和安东·库塞拉。带状态的扩展向量加法系统上的可达性对策。《ICALP’10会议录》，计算机科学讲义第6199卷，第478-489页。施普林格，2010年·Zbl 1288.68179号 [10] 克里斯蒂安·卡鲁德（Cristian S.Calude）、桑杰·贾恩（Sanjay Jain）、巴哈迪尔·库萨诺夫（Bakhadyr Khousainov）、魏莉（Wei Li）和弗兰克·斯蒂芬（Frank Stephan）。准多项式时间内奇偶对策的判定。《STOCS’17会议录》，第252-263页。ACM，2017年·Zbl 1369.68234号 [11] Laurent Doyen、Thierry Massart和Mahsa Shirmohammadi。概率自动机的无限同步字（勘误表）。技术报告，CoRR abs/1206.09952012·Zbl 1343.68136号 [12] Laurent Doyen、Thierry Massart和Mahsa Shirmohammadi。马尔可夫决策过程中的极限同步。《FoSSaCS’14会议录》，《计算机科学讲义》第8412卷，第58-72页。斯普林格，2014年·Zbl 1405.68228号 [13] 哈维尔·埃斯帕尔扎。确保人群安全：关于参数化验证的复杂性（特邀演讲）。《莱布尼茨国际信息学会议录》第25卷《STACS’14会议录》，第1-10页。莱布尼茨-中央情报局，2014年·Zbl 1359.68189号 [14] 哈维尔·埃斯帕尔扎（Javier Esparza）、阿兰·芬克尔（Alain Finkel）和理查德·迈尔（Richard Mayr）。关于广播协议的验证。在LICS’99会议记录中，第352-359页。IEEE计算机学会，1999年。 [15] 哈维尔·埃斯帕尔扎（Javier Esparza）、皮埃尔·甘蒂（Pierre Ganty）、杰尔·欧梅·勒鲁（J’erˆome Leroux）和鲁帕克·马朱姆达尔（Rupak Majumdar）。人口协议的验证。《学报》，54（2）：191-2152017年·Zbl 1364.68081号 [16] Steven M.German和A.Prasad Sistla。推理具有多个进程的系统。J.ACM，39（3）：675-7351992年·兹比尔0799.68078 [17] 雨果·金伯特（Hugo Gimbert）和尤索夫·乌尔哈德（Youssouf Oualhadj）。有限词上的概率自动机：可判定和不可判定问题。《ICALP’10会议录》，计算机科学讲稿第6199卷，第527-538页。施普林格，2010年·Zbl 1288.68156号 [18] 马金·尤金斯基（Marcin Jurdzinski）。解决平价游戏的小进度措施。《STACS’00会议录》，《计算机科学讲义》第1770卷，第290-301页。斯普林格，2000年·Zbl 0962.68111号 [19] 马金·尤尔季安斯基、兰科·拉齐奇和西尔万·施密茨。固定维能量博弈为伪多项式时间。《ICALP’15会议录》，计算机科学讲义第9135卷，第260-272页。斯普林格，2015年·Zbl 1440.68122号 [20] 帕纳吉奥蒂斯·库瓦罗斯（Panagiotis Kouvaros）和阿莱西奥·洛穆西奥（Alessio Lomuscio）。交替时间时序逻辑的参数化模型检查。《ECAI’16会议录》，人工智能与应用前沿第285卷，第1230-1238页。IOS出版社，2016年·Zbl 1403.68127号 [21] 帕维尔·马图金（Pavel Martyugin）。某些问题的计算复杂性与部分自动机的精确同步单词和非确定性自动机的定向单词有关。计算系统理论，54（2）：293-304，2014·兹比尔1380.68257 [22] 马哈萨·希尔穆罕默德（Mahsa Shirmohammadi）。同步概率系统的定性分析。ULB博士论文，2014年。 [23] Jannis Uhlendorf、Agn'es Miermont、Thierry Delavau、Gilles Charvin、Franöcois Fages、Samuel Bottani、Pascal Hersen和Gregory Batt。生物分子过程的电子控制。《合成生物学中的计算方法》，第13章，第277-285页。Humana出版社，施普林格出版社，2015年。 [24] 米哈伊尔·沃尔科夫。同步自动机和塞恩猜想。《LATA’08会议录》，计算机科学讲稿第5196卷，第11-27页。施普林格，2008年·Zbl 1156.68466号 [25] 维斯拉夫·齐埃隆卡。有限色图上的无限游戏，以及无限树上自动机的应用。西奥。计算。科学。，200(1-2):135-183, 1998. ·兹比尔0915.68120 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。