羽毛球,托姆;利西奥·罗芒;亚历山德罗·阿巴特;大卫·帕克;哈桑·普纳瓦拉(Hasan A.Poonawala)。;玛丽尔·斯托琳加;尼尔斯·詹森 基于形式化抽象的非高斯噪声动态系统鲁棒控制。 (英语) Zbl 1508.93279号 J.人工制品。因特尔。研究(JAIR) 76, 341-391 (2023).MSC公司:93E03型 93B35型 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{T.Badings}等人,J.Artif。因特尔。研究(JAIR)76,341--391(2023;Zbl 1508.93279) 全文: 内政部 arXiv公司
彼得·格约尔·詹森;安德烈·基维里加;金·古德斯特兰·拉森;乌尔里克·尼曼;阿德里亚娜·米亚契卡;杰佩·Höiris Mortensen 蒙特卡罗树搜索定价时间自动机。 (英语) 兹比尔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) 全文: 内政部
阿波法兹·拉瓦伊;萨代赫·苏贾尼;亚历山德罗·阿巴特;马吉德·扎马尼 随机混合系统的自动验证和综合:综述。 (英语) Zbl 1504.93389号 Automatica公司 146,文章ID 110617,40 p.(2022).MSC公司:93E12号机组 93立方 93C55美元 90立方厘米 93-02 PDF格式BibTeX公司 XML格式引用 \textit{A.Lavaei}等人,Automatica 146,文章ID 110617,40 p.(2022;Zbl 1504.93389) 全文: 内政部 arXiv公司
马丁·塔普勒;埃迪·穆什卡丁;伯恩哈德·艾切尼格(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季度 第68季度87 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{M.Tappler}等人,Lect。注释计算。科学。13085、481--500(2021;Zbl 1522.68348) 全文: 内政部
埃蒂安·安德烈;艾曼纽尔·科夸德;劳伦特·弗里堡;杰瑞,贾维尔;大卫·莱森 反应性约束下发射器飞行控制系统的参数可调度性分析。 (英语) Zbl 1520.93344号 芬丹。通知。 182,第1期,31-67(2021).MSC公司:93C85号 60年第68季度 90B35型 PDF格式BibTeX公司 XML格式引用 \textit{埃米·安德烈}等人,Fundam。通知。182,编号1,31-67(2021;Zbl 1520.93344) 全文: 内政部 arXiv公司
阿波法兹·拉瓦伊;萨代赫·苏贾尼;马吉德·扎马尼 通过近似概率关系,基于合成抽象的一般MDP合成。 (英语) Zbl 1478.93665号 非线性分析。,混合系统。 39,文章ID 100991,15 p.(2021).MSC公司:93E03型 90立方厘米 93立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{A.Lavaei}等人,非线性分析。,混合系统。39,文章ID 100991,15 p.(2021;Zbl 1478.93665) 全文: 内政部 arXiv公司
马丁·塔普勒;伯恩哈德·艾切尼格(Bernhard K.Aichernig)。;乔瓦尼·巴奇;玛丽亚·艾希塞德;Larsen,Kim G。 \基于(L^\ast)的马尔可夫决策过程学习(扩展版本)。 (英语) Zbl 1519.68106号 正式Asp。计算。 33,编号4-5,575-615(2021).MSC公司:68问题32 65年第68季度 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{M.Tappler}等人,正式Asp。计算。33,编号4--5,575--615(2021;Zbl 1519.68106) 全文: 内政部 arXiv公司
塞巴斯蒂安·荣格斯;Joost-Pieter卡托恩;吉列尔莫·A·佩雷斯。;托比亚斯·温克勒 参数马尔可夫决策过程中可达性的复杂性。 (英语) Zbl 1477.68124号 J.计算。系统。科学。 119, 183-210 (2021).MSC公司:65年第68季度 60年第68季度 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{S.Junges}等人,J.Compute。系统。科学。119183-210(2021年;Zbl 1477.68124) 全文: 内政部 arXiv公司 链接
杰里米·斯普洛斯顿 具有一个时钟和初始化的时钟相关概率的概率时间自动机。 (英语) Zbl 1511.68140号 Gotsman,Alexey(编辑)等人,分布式对象、组件和系统的形式化技术。第40届IFIP WG 6.1国际会议,FORTE 2020,作为第15届分布式计算技术国际联合会议的一部分,于2020年6月15日至19日在马耳他瓦莱塔举行。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12136, 150-168 (2020).MSC公司:65年第68季度 第68季度87 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季度 第68季度87 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{M.Cubuktepe}等人,Lect。注释计算。科学。12078287-305(2020年;兹比尔1507.68182) 全文: 内政部 arXiv公司
Saddem-yagoubi,环;奥利维尔·诺德;凯伦·戈达里·德杰恩;迪迪埃·克雷斯塔尼 模型检验精准农业物流:差异收获的案例。 (英语) Zbl 1456.91067号 离散事件动态。系统。 30,第4号,579-604(2020).MSC公司:91B76号 93亿B50 90B20型 PDF格式BibTeX公司 XML格式引用 \textit{R.Saddem-yagoubi}等人,离散事件动力学。系统。30,第4号,579--604(2020;Zbl 1456.91067) 全文: 内政部
马尼什·戈亚尔;帕拉萨拉·斯里达尔·达吉拉拉 提取线性混杂系统中安全违规引起的反例。 (英语) Zbl 1442.93020号 Automatica公司 117,文章ID 109005,12 p.(2020).MSC公司:93立方 第93页第55页 93二氧化碳 90C05(二氧化碳) 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{M.Goyal}和\textit{P.S.Duggirala},Automatica 117,文章ID 109005,12 P.(2020;Zbl 1442.93020) 全文: 内政部
阿波法兹·拉瓦伊;萨代赫·苏贾尼;马吉德·扎马尼 大规模随机系统的合成抽象:一种松弛耗散方法。 (英语) Zbl 1441.93293号 非线性分析。,混合系统。 36,文章ID 100880,24 p.(2020).MSC公司:93E03型 93甲15 93C55美元 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{A.Lavaei}等人,《非线性分析》。,混合系统。36,文章ID 100880,24 p.(2020;Zbl 1441.93293) 全文: 内政部 arXiv公司
阿波法兹·拉瓦伊;萨代赫·苏贾尼;马吉德·扎马尼 随机切换系统网络的基于合成抽象的综合。 (英语) Zbl 1441.93322号 Automatica公司 114,文章ID 108827,第15页(2020).MSC公司:第93页第15页 93立方 93D25号 93亿B50 93B70型 93C55美元 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{A.Lavaei}等人,Automatica 114,文章ID 108827,15 p.(2020;Zbl 1441.93322) 全文: 内政部 arXiv公司
马哈茂德·萨拉马蒂;萨代赫·苏贾尼;鲁帕克·马朱姆达尔 CTMC和CTMDP的近似时限可达性:Lyapunov方法。 (英语) Zbl 1514.68146号 McIver,Annabelle(编辑)等人,《系统的定量评估》。2018年9月4日至7日,第15届QEST国际会议,中国北京。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。11024, 389-406 (2018).MSC公司:60年第68季度 03B70号 60J28型 第68季度87 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型 第68季度87 90立方厘米 93甲16 PDF格式BibTeX公司 XML格式引用 \textit{P.Piho}和\textit{J.Hillston},莱克特。注释计算。科学。11024、356--372(2018;Zbl 1514.68179) 全文: 内政部
拉坦·拉尔;帕维特拉·普拉巴卡 概率混合系统可达性的有界验证。 (英语) Zbl 1514.68139号 McIver,Annabelle(编辑)等人,《系统的定量评估》。2018年9月4日至7日,第15届QEST国际会议,中国北京。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。11024, 240-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:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。118,第8条,第18页(2018年)。MSC公司:90立方厘米 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{J.Křetínskõ}et al.,LIPIcs——莱布尼茨国际程序。通知。118,第8条,第18页(2018;Zbl 1520.90206) 全文: 内政部 arXiv公司
梅克·施瓦姆伯格 证明自治城市交通安全的抽象模型。 (英语) Zbl 1400.68126号 西奥。计算。科学。 744, 143-169 (2018).MSC公司:60年第68季度 03B70号 65年第68季度 90B20型 PDF格式BibTeX公司 XML格式引用 \文本{M.Schwammberger},Theor。计算。科学。744143-169(2018;Zbl 1400.68126) 全文: 内政部
亚伦·波希;维罗尼克·布鲁埃;Jean-François拉斯金;Nathalie Bertrand 单调马尔可夫决策过程中平均路径和最短路径的符号算法。 (英语) Zbl 1378.68122号 Acta信息。 54,第6号,545-587(2017).MSC公司:第68季度87 68第05页 60年第68季度 68T20型 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{A.Bohy}等人,《学报》第54期,第6期,第545--587页(2017年;Zbl 1378.68122) 全文: 内政部 arXiv公司
苏菲·海瑟特;萨代赫·伊斯梅尔·扎德赫·苏贾尼;亚历山德罗·阿巴特 通过近似相似关系和策略精化验证一般马尔可夫决策过程。 (英语) Zbl 1367.93615号 SIAM J.控制优化。 55,第4号,2333-2367(2017).MSC公司:93E03型 90立方厘米 93亿B50 60年第68季度 93C55美元 PDF格式BibTeX公司 XML格式引用 \textit{S.Haesaert}等人,SIAM J.控制优化。55,第4号,2333--2367(2017;Zbl 1367.93615) 全文: 内政部
维罗尼克·布鲁埃;艾曼纽·菲利奥特;米凯尔·兰多尔;Jean-François拉斯金 保证满足您的期望:超越定量游戏中的最坏情况合成。 (英语) Zbl 1371.91022号 Inf.计算。 254,第2部分,259-295(2017).MSC公司:91A43型 91A05型 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{V.Bruyère}等人,计算机信息。254,第2部分,259--295(2017;Zbl 1371.91022) 全文: 内政部 链接
马丁·希尔舍尔;梅克·施瓦姆伯格 证明自治城市交通安全的抽象模型。 (英语) 兹比尔1401.68199 Sampaio,Augusto(编辑)等人,《计算的理论方面——ICTAC 2016》。第十三届国际学术讨论会,中华民国台湾台北,2016年10月24日至31日。诉讼程序。查姆:施普林格(ISBN 978-3-319-46749-8/pbk;978-3-3169-46750-4/电子书)。计算机科学讲座笔记9965,274-292(2016)。MSC公司:60年第68季度 03B70号 65年第68季度 90B20型 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季度 90B20型 93C85号 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}等人,Lect。注释计算。科学。9360260-277(2015年;Zbl 1444.68183) 全文: 内政部
克里希南德·查特吉;马丁·奇梅利克;Daca,Przemysław公司 用于马尔可夫决策过程中定性属性的组合分析的CEGAR。 (英语) Zbl 1322.68137号 形式方法系统。设计。 47,第2期,230-264(2015).MSC公司:第68季度87 60年第68季度 90立方厘米 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}等人,《形式方法系统》。设计。47,第2号,230--264(2015;Zbl 1322.68137) 全文: 内政部
孙景浩;孟亚坤;谭国珍 旅行时间依赖于时间的中国邮递员问题的整数规划方法。 (英语) Zbl 1322.90080 J.库姆。最佳方案。 29,第3期,565-588(2015).MSC公司:90C27型 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{J.Sun}等人,J.Comb。最佳方案。29,第3号,565--588(2015;Zbl 1322.90080) 全文: 内政部
Nishi、Tatsushi;Masato Wakatake公司 求解调度问题的时间自动机分解。 (英语) 兹比尔132090032 国际期刊系统。科学。,普林克。申请。系统。集成。 45,第3期,472-486(2014).MSC公司:90B35型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Nishi}和\textit{M.Wakatake},国际期刊系统。科学。,普林克。申请。系统。集成。45,第3号,472--486(2014;Zbl 1320.90032) 全文: 内政部
泽维尔·阿拉米吉恩;乌里法伦伯格;圣埃芬·高伯特;里卡多·D·卡茨。;Legay、Axel 热带Fourier-Motzkin消除,应用于实时验证。 (英语) Zbl 1301.90069号 国际代数计算杂志。 24,第5期,569-607(2014).MSC公司:90C25型 15A80型 91A46型 90立方厘米 68问题85 52A01级 52B55号 PDF格式BibTeX公司 XML格式引用 \textit{X.Allamigeon}等人,《国际代数计算》。24,编号5,569-607(2014年;兹bl 1301.90069) 全文: 内政部 arXiv公司
拉尔夫·威默;尼尔斯·詹森;艾丽卡·阿尔布拉汉姆;Joost-Pieter卡托恩;贝恩德·贝克尔 线性时间概率验证的最小反例。 (英语) Zbl 1360.68604号 西奥。计算。科学。 549, 61-100 (2014).MSC公司:60年第68季度 60J20型 第68季度87 90立方厘米 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{R.Wimmer}等人,Theor。计算。科学。549、61-100(2014年;Zbl 1360.68604) 全文: 内政部
罗希特·查达;马赫什·维斯瓦纳坦;拉梅什·维斯瓦纳坦 概率测度的最小上界及其在抽象中的应用。 (英语) Zbl 1282.68176号 Inf.计算。 234, 68-106 (2014).MSC公司:第68季度87 60A10英寸 90立方厘米 60J05型 60J25型 PDF格式BibTeX公司 XML格式引用 \textit{R.Chadha}等人,信息计算。23468--106(2014;Zbl 1282.68176) 全文: 内政部
马丁·希尔舍尔;斯文·林杰;奥尔德罗格(Ernst-Rüdiger Olderog) 证明乡村道路交通操纵的安全性。 (英语) Zbl 1390.68429号 Liu,Zhiming(编辑)等人,《编程理论与形式化方法》。纪念何继峰70岁生日的散文。柏林:施普林格出版社(ISBN 978-3-642-39697-7/pbk)。计算机科学课堂讲稿8051196-212(2013)。MSC公司:60年第68季度 03B44号 90B20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Hilscher}等人,Lect。注释计算。科学。8051、196--212(2013;Zbl 1390.68429) 全文: 内政部
米歇尔,L。;Shvartsman,A。;Sonnederger,E。;Van Hentenryck,P。 最终可序列化数据服务的最佳部署。 (英语) 邮编:1225.90089 安·Oper。物件。 184, 273-294 (2011).MSC公司:90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{L.Michel}等人,安·奥珀。第184、273--294号决议(2011年;Zbl 1225.90089) 全文: 内政部
威特兰特,E。;D’Innocenzo,A。;G.三都。;桑图奇(F.Santucci)。;医学博士Di Benedetto。;A.J.伊萨克森。;约翰森,K.H。;尼古列斯库,S.-I。;奥拉鲁,S。;塞拉,E。;田纳西州。;美国蒂贝里。 大型系统的无线通风控制:采矿工业案例。 (英语) Zbl 1290.93017号 国际J鲁棒非线性控制 20,第2期,226-251(2010).MSC公司:93甲15 93立方厘米 90B30型 PDF格式BibTeX公司 XML格式引用 \textit{E.Witrant}等人,《国际鲁棒非线性控制》20,No.2,226--251(2010;Zbl 1290.93017) 全文: 内政部 链接
Mark Kattenbelt公司;玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克 马尔可夫决策过程的基于游戏的抽象再定义框架。 (英语) Zbl 1233.90276号 形式方法系统。设计。 36,第3期,246-280(2010).MSC公司:90立方厘米 91A15型 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{M.Kattenbelt}等人,《形式方法系统》。设计。36,第3号,246--280(2010;Zbl 1233.90276) 全文: 内政部 链接
克里斯特尔·拜尔;马库斯·格勒;Frank Ciesinski先生 概率系统线性时间特性的模型检验。 (英语) Zbl 1484.68095号 Droste,Manfred(编辑)等人,《加权自动机手册》。柏林:斯普林格。单声道。理论。计算。科学。,EATCS系列。,519-570 (2009).MSC公司:60年第68季度 2010年第68季度 65年第68季度 第68季度87 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}等人,in:加权自动机手册。柏林:斯普林格。519-570(2009年;兹比尔1484.68095) 全文: 内政部
苏布拉马尼,K。 布尔公式上的选择可满足性和等价查询以及外壳上的包含查询的复杂性。 (英语) Zbl 1182.68091号 J.应用。数学。Decis公司。科学。 2009年,文章ID 845804,18 p.(2009).MSC公司:65年第68季度 68T20型 90C09型 90C60型 PDF格式BibTeX公司 XML格式引用 \textit{K.Subramani},J.应用。数学。Decis公司。科学。2009年,文章ID 845804,18 p.(2009年;Zbl 1182.68091) 全文: 内政部 欧洲DML
奥尔德里克·德戈尔;奥德·马勒 结构化作业流的调度策略。 (英语) 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) 全文: 内政部
劳伦特·多恩;托马斯·亨辛格(Thomas A.Henzinger)。;Jean-François拉斯金 标记马尔可夫链的等价性。 (英语) Zbl 1155.68035号 发现的国际期刊。计算。科学。 19,第3号,549-563(2008).MSC公司:65年第68季度 60J10型 2010年第68季度 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{L.Doyen}等人,国际法学研究所。计算。科学。19,第3号,549--563(2008;Zbl 1155.68035) 全文: 内政部
帕特里夏·鲍耶;埃德·布林克斯马;Larsen,Kim G。 多值时间自动机的最优无限调度。 (英语) Zbl 1133.68360号 形式方法系统。设计。 32,第1号,3-23(2008).MSC公司:65年第68季度 90B35型 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人,《形式方法系统》。设计。32,编号1,3--23(2008年;兹bl 1133.68360) 全文: 内政部
达姆,W。;Hungar,H。;E.-R.奥尔德罗。 核实合作交通代理。 (英语) Zbl 1122.90325号 国际J.控制 79,第5号,395-421(2006年).MSC公司:90B20型 93A30型 PDF格式BibTeX公司 XML格式引用 \textit{W.Damm}等人,国际期刊控制79,No.5,395--421(2006;Zbl 1122.90325) 全文: 内政部
克里斯特尔·拜尔;霍尔格·赫尔曼斯;Joost-Pieter卡托恩;Boudewijn R.哈维尔科特。 一致连续时间Markov决策过程中时间有界可达概率的有效计算。 (英语) Zbl 1081.90066号 西奥。计算。科学。 345,第1期,2-26(2005).MSC公司:90立方厘米 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}等人,Theor。计算。科学。345,编号1,2--26(2005;Zbl 1081.90066) 全文: 内政部 链接
博尔特尼克,E。;北卡罗来纳州特里卡。;A.J.威伊斯。;B.卢提克。;范·德·莫特尔·弗朗茨克(J.M.Van De Mortel-Fronczak)。;巴顿,J.C.M。;W.J.福克金。;罗达,J.E。 使用Spin、CADP和Uppaal分析转台系统的(chi)模型。 (英语) Zbl 1088.68523号 J.日志。代数。程序。 65,第2期,51-104(2005).MSC公司:68平方米 68米15 90B30型 PDF格式BibTeX公司 XML格式引用 \textit{E.Bortnik}等人,J.Log。代数。程序。65,No.2,51--104(2005;Zbl 1088.68523) 全文: 内政部