彼得·格约尔·詹森;安德烈·基维里加;金·古德斯特兰·拉森;乌尔里克·尼曼;阿德里亚娜·米亚契卡;杰佩·Höiris Mortensen 蒙特卡罗树搜索定价时间自动机。 (英语) Zbl 1522.68273号 布拉哈姆,埃里卡(编辑)等人,《系统的定量评估》。第19届国际会议,QEST 2022,波兰华沙,2022年9月12-16日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13479, 381-398 (2022).MSC公司:65年第68季度 68T20型 90B35型 PDF格式BibTeX公司 XML格式引用 \textit{P.G.Jensen}等人,Lect。注释计算。科学。13479,381--398(2022;Zbl 1522.68273) 全文: 内政部 链接
马丁·塔普勒;埃迪·穆什卡丁;伯恩哈德·艾切尼格(Bernhard K.Aichernig)。;药丸,印戈 随机反应系统的主动模型学习。 (英语) Zbl 1522.68348号 Calinescu,Radu(编辑)等人,《软件工程和形式化方法》。第19届国际会议,SEFM 2021,虚拟活动,2021年12月6日至10日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13085, 481-500 (2021).MSC公司:60年第68季度 68问题32 65年第68季度 87年第68季度 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{M.Tappler}等人,Lect。注释计算。科学。13085、481--500(2021;Zbl 1522.68348) 全文: 内政部
杰里米·斯普洛斯顿 具有一个时钟和初始化的时钟相关概率的概率时间自动机。 (英语) Zbl 1511.68140号 Gotsman,Alexey(编辑)等人,分布式对象、组件和系统的形式化技术。第40届IFIP WG 6.1国际会议,FORTE 2020,作为第15届分布式计算技术国际联合会议的一部分,DisCoTec 2020,马耳他瓦莱塔,2020年6月15日至19日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12136, 150-168 (2020).MSC公司:65年第68季度 87年第68季度 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{J.斯普洛斯顿},莱克特。注释计算。科学。12136,150--168(2020;Zbl 1511.68140) 全文: 内政部
弗洛里安·芬克;西蒙·扬奇;克里斯特尔·拜尔 概率可达性约束的Farkas证书和最小见证人。 (英语) Zbl 1507.68187号 Biere,Armin(编辑)等人,《系统构建和分析的工具和算法》。第26届国际会议,TACAS 2020,作为欧洲软件理论与实践联合会议的一部分,于2020年4月25日至30日在爱尔兰都柏林举行。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。12078, 324-345 (2020).MSC公司:60年第68季度 2017年第68季度 68问题85 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{F.Funke}等人,Lect。注释计算。科学。12078,324--345(2020;Zbl 1507.68187) 全文: 内政部 arXiv公司
穆拉特·库布克特佩;尼尔斯·詹森;塞巴斯蒂安·荣格斯;Joost-Pieter卡托恩;乌富克托普库 基于场景的不确定MDP验证。 (英语) Zbl 1507.68182号 Biere,Armin(编辑)等人,《系统构建和分析的工具和算法》。第26届国际会议,TACAS 2020,作为欧洲软件理论与实践联合会议的一部分,于2020年4月25日至30日在爱尔兰都柏林举行。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。12078, 287-305 (2020).MSC公司:60年第68季度 87年第68季度 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{M.Cubuktepe}等人,Lect。注释计算。科学。12078,287--305(2020;Zbl 1507.68182) 全文: 内政部 arXiv公司
简·Křetínsk;托拜厄斯·梅根多夫 核心:马尔可夫决策过程的部分探索框架。 (英语) Zbl 07649913号 Fokkink,Wan(编辑)等人,第30届并发理论国际会议,CONCUR 2019,荷兰阿姆斯特丹,2019年8月27日至30日。诉讼程序。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼兹·泽特鲁姆(Leibniz-Zentrum für Informatik)。LIPIcs–莱布尼茨国际程序。通知。140,第5条,第17页(2019年)。MSC公司:60年第68季度 87年第68季度 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{J.Křetínsk朣}和\textit{T.Meggendorfer},LIPIcs——莱布尼茨国际程序。通知。140,第5条,第17页(2019年;Zbl 07649913) 全文: 内政部
马哈茂德·萨拉马蒂;苏德贾尼,萨代格;鲁帕克·马朱姆达尔 CTMC和CTMDP的近似时限可达性:Lyapunov方法。 (英语) Zbl 1514.68146号 McIver,Annabelle(编辑)等人,《系统的定量评估》。2018年9月4日至7日,第15届QEST国际会议,中国北京。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11024, 389-406 (2018).MSC公司:60年第68季度 03B70号 60J28型 87年第68季度 90立方厘米 93个B03 93二氧化碳 93天30分 PDF格式BibTeX公司 XML格式引用 \textit{M.Salamati}等人,Lect。注释计算。科学。11024,389--406(2018;Zbl 1514.68146) 全文: 内政部 arXiv公司
保罗·皮荷;简·希尔斯顿 集体动力的政策综合。 (英语) Zbl 1514.68179号 McIver,Annabelle(编辑)等人,《系统的定量评估》。2018年9月4日至7日,第15届QEST国际会议,中国北京。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11024, 356-372 (2018).MSC公司:68问题85 60J28型 87年第68季度 90立方厘米 93甲16 PDF格式BibTeX公司 XML格式引用 \textit{P.Piho}和\textit{J.Hillston},莱克特。注释计算。科学。11024、356--372(2018;Zbl 1514.68179) 全文: 内政部 链接
拉坦·拉尔;帕维特拉·普拉巴卡 概率混合系统可达性的有界验证。 (英语) 兹比尔1514.68139 McIver,Annabelle(编辑)等人,《系统的定量评估》。2018年9月4日至7日,第15届QEST国际会议,中国北京。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11024240-256(2018年)。MSC公司:60年第68季度 90立方厘米 93个B03 93立方厘米 93立方 PDF格式BibTeX公司 XML格式引用 \textit{R.Lal}和\textit{P.Prabhakar},莱克特。注释计算。科学。11024,240-256(2018;Zbl 1514.68139) 全文: 内政部
简·Křetínsk;吉列尔莫·A·佩雷斯。;Jean-François拉斯金 欧米伽正则约束下未知MDP中基于学习的均值-方差优化。 (英语) Zbl 1520.90206号 Schewe,Sven(编辑)等人,第29届并发理论国际会议。CONCUR 2018,中国北京,2018年9月4-7日。诉讼程序。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。118,第8条,第18页(2018年)。MSC公司:90立方厘米 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{J.Křetínský}等人,LIPIcs——莱布尼茨国际会议记录。通知。118,第8条,第18页(2018;Zbl 1520.90206) 全文: 内政部 arXiv公司
马丁·希尔舍尔;梅克·施瓦姆伯格 证明自治城市交通安全的抽象模型。 (英语) Zbl 1401.68199号 Sampaio,Augusto(编辑)等人,《计算的理论方面——ICTAC 2016》。第十三届国际学术讨论会,中华民国台湾台北,2016年10月24日至31日。诉讼程序。商会:施普林格出版社(ISBN 978-3-319-46749-8/pbk;978-3-319-466750-4/ebook)。计算机科学讲座笔记9965,274-292(2016)。MSC公司:60年第68季度 03B70号 65年第68季度 90秒20 PDF格式BibTeX公司 XML格式引用 \textit{M.Hilscher}和\textit{M.Schwammberger},莱克特。注释计算。科学。9965274-292(2016年;Zbl 1401.68199) 全文: 内政部
甘婷;戴丽云;夏碧灿;詹乃军;迪帕克·卡普尔;陈明帅 二次多项式不等式的插值综合及与EUF的结合。 (英语) Zbl 1475.03072号 Olivetti,Nicola(编辑)等人,《自动推理》。2016年6月27日至7月2日在葡萄牙科因布拉举行的2016年第八届国际联合会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9706, 195-212 (2016).MSC公司:03B35型 03C40号 60年第68季度 90C22型 PDF格式BibTeX公司 XML格式引用 \textit{T.Gan}等人,Lect。注释计算。科学。9706195--212(2016;Zbl 1475.03072) 全文: 内政部 arXiv公司
金·古德斯特兰·拉森;马吕斯·米库奇奥尼斯;雅各布·哈哈尔·塔安克维斯特 安全且最佳的自适应巡航控制。 (英语) Zbl 1444.68183号 Meyer,Roland(编辑)等人,《正确的系统设计》。2015年9月8日至9日,德国奥尔登堡,纪念Ernst-Rüdiger Olderog 60岁生日的研讨会。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9360, 260-277 (2015).MSC公司:68T27型 60年第68季度 90秒20 93C85号 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}等人,Lect。注释计算。科学。9360260-277(2015年;Zbl 1444.68183) 全文: 内政部
马丁·希尔舍尔;斯文·林杰;奥尔德罗格(Ernst-Rüdiger Olderog) 证明乡村道路交通操纵的安全性。 (英语) Zbl 1390.68429号 刘志明(主编)等,《程序设计理论与形式化方法》。纪念何继峰70岁生日的散文。柏林:施普林格出版社(ISBN 978-3-642-39697-7/pbk)。计算机科学课堂讲稿8051196-212(2013)。MSC公司:60年第68季度 03B44号 90秒20 PDF格式BibTeX公司 XML格式引用 \textit{M.Hilscher}等人,Lect。注释计算。科学。8051、196--212(2013;Zbl 1390.68429) 全文: 内政部
克里斯特尔·拜尔;马库斯·格勒;Frank Ciesinski先生 概率系统线性时间特性的模型检验。 (英语) Zbl 1484.68095号 Droste,Manfred(编辑)等人,《加权自动机手册》。柏林:斯普林格。单声道。理论。计算。科学。,EATCS系列。,519-570 (2009).MSC公司:60年第68季度 2010年第68季度 65年第68季度 87年第68季度 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}等人,《加权自动机手册》。柏林:斯普林格。519-570(2009年;Zbl 1484.68095) 全文: 内政部
奥尔德里克·德戈尔;奥德·马勒 结构化作业流的调度策略。 (英语) Zbl 1171.90396号 Cassez,Franck(编辑)等,时间系统的形式化建模和分析。2008年9月15日至17日,第六届国际会议,FORMATS 2008,法国圣马洛。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-85777-8/pbk)。计算机科学课堂讲稿5215,141-154(2008)。MSC公司:90B35型 PDF格式BibTeX公司 XML格式引用 \textit{A.Degorre}和\textit{O.Maler},Lect。注释计算。科学。5215,141--154(2008;Zbl 1171.90396) 全文: 内政部
帕特里夏·鲍耶;乌里·法伦贝格;Larsen,Kim G。;尼古拉斯·马基;吉·斯尔巴 无限在能量约束的加权时间自动机中运行。 (英语) Zbl 1171.68524号 Cassez,Franck(编辑)等,时间系统的形式化建模和分析。2008年9月15日至17日,第六届国际会议,FORMATS 2008,法国圣马洛。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-85777-8/pbk)。计算机科学课堂讲稿5215,33-47(2008)。MSC公司:65年第68季度 90B35型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人,Lect。注释计算。科学。5215、33-47(2008年;Zbl 1171.68524) 全文: 内政部 哈尔