乔瓦尼·巴奇;贝诺·德拉哈耶;Larsen,Kim G。;安德斯·马里加德 区间马尔可夫链的定量分析。 (英语) Zbl 1522.68296号 Olderog、Ernst-Rüdiger(编辑)等人,《模型检查、综合和学习》。在本特·琼森60岁生日之际为他撰写的论文。查姆:斯普林格。莱克特。注释计算。科学。13030, 57-77 (2022).MSC公司:60年第68季度 60J20型 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Bacci}等人,Lect。注释计算。科学。13030,57--77(2022;Zbl 1522.68296) 全文: 内政部 哈尔
埃蒂安·安德烈;贝诺·德拉哈耶;波林·福尼尔 参数区间概率时间自动机的一致性。 (英语) 兹比尔1494.68157 J.日志。阿尔盖布。方法计划。 110,文章ID 100459,22 p.(2020).MSC公司:60年第68季度 65年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{埃米·安德烈}等人,J.Log。阿尔盖布。方法计划。110,文章ID 100459,第22页(2020;Zbl 1494.68157) 全文: 内政部 arXiv公司
阿尼塞特·巴特;贝诺·德拉哈耶;波林·福尼尔;莱姆,迪迪埃;埃里克·蒙弗罗伊;夏洛特·特鲁切特 使用约束的参数区间马尔可夫链的可达性。 (英语) Zbl 1400.68118号 西奥。计算。科学。 747, 48-74 (2018).MSC公司:60年第68季度 68问题85 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Bart}等人,Theor。计算。科学。747、48-74(2018年;Zbl 1400.68118) 全文: 内政部 arXiv公司
伊凡·埃姆齐瓦特;贝诺·德拉哈耶;莱姆,迪迪埃;奥利维尔·H·鲁克斯。 概率时间Petri网。 (英语) Zbl 1346.68131号 Kordon,Fabrice(编辑)等人,Petri网和并发的应用和理论。第37届国际会议,PETRI NETS 2016,波兰托伦,2016年6月19-24日。诉讼程序。查姆:施普林格(ISBN 978-3-319-39085-7/pbk;978-3-3169-39086-4/电子书)。计算机科学讲座笔记9698,261-280(2016)。MSC公司:68问题85 87年第68季度 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{Y.Emzivat}等人,Lect。注释计算。科学。9698,261--280(2016;Zbl 1346.68131) 全文: 内政部
德拉海耶,贝努伊特 参数区间马尔可夫链的一致性。 (英语) Zbl 1429.68141号 André,Étienne(编辑)等人,第二届复杂参数合成国际研讨会,SynCoP’152015年4月11日,英国伦敦。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik。OASIcs–OpenAccess服务器。通知。44, 17-32 (2015).MSC公司:60年第68季度 60J20型 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Delahaye},OASIcs--开放存取服务。通知。44、17-32(2015年;Zbl 1429.68141) 全文: 内政部
贝诺·德拉哈耶;Larsen,Kim G。;Legay、Axel 为抽象概率自动机而结结巴巴。 (英语) Zbl 1283.68193号 J.日志。阿尔盖布。程序。 83,第1期,第1-19页(2014年).MSC公司:65年第68季度 03B45号 05年3月 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Delahaye}等人,J.Log。阿尔盖布。程序。83,第1号,第1-19号(2014;Zbl 1283.68193) 全文: 内政部
贝诺·德拉哈耶;Larsen,Kim G。;Legay、Axel;米克尔·L·佩德森。;安德烈·索夫斯基 区间马尔可夫链的一致性和精化。 (英语) Zbl 1247.68195号 J.日志。阿尔盖布。程序。 81,第3期,209-226(2012).MSC公司:87年第68季度 2017年第68季度 60J10型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Delahaye}等人,J.Log。阿尔盖布。程序。81、3号、209--226(2012;Zbl 1247.68195) 全文: 内政部
贝诺·凯劳德;贝诺·德拉哈耶;Larsen,Kim G。;Legay、Axel;米克尔·L·佩德森。;安德烈·索夫斯基 约束马尔可夫链。 (英语) Zbl 1223.68070号 西奥。计算。科学。 412,第34号,4373-4404(2011). 审核人:托马斯·詹森(科克) MSC公司:60年第68季度 60J10型 PDF格式BibTeX公司 XML格式引用 \textit{B.Caillaud}等人,Theor。计算。科学。412,第34号,4373--4404(2011;Zbl 1223.68070) 全文: 内政部
贝诺·德拉哈耶;贝诺·凯劳德;Legay、Axel 概率契约:用于设计具有随机和/或非确定性方面的系统的组合推理方法。 (英语) Zbl 1210.93068号 形式方法系统。设计。 38,第1期,1-32页(2011年).MSC公司:93E03型 87年第68季度 65年第68季度 60年第68季度 90秒25 PDF格式BibTeX公司 XML格式引用 \textit{B.Delahaye}等人,《形式方法系统》。设计。38,第1号,1--32(2011;Zbl 1210.93068) 全文: 内政部