纪尧姆·切纳提尔;哈萨内·克莱比;安妮·达特福;乔塞林加尼尔 分段确定马尔可夫过程基于故障树分析的自适应重要性抽样。 (英语) Zbl 07827684号 SIAM/ASA J.不确定性。数量。 12, 128-156 (2024)。MSC公司:65二氧化碳 62升12 60J25型 PDF格式BibTeX公司 XML格式引用 \textit{G.Chennetier}等人,SIAM/ASA J.不确定性。数量。12、128——156(2024;Zbl 07827684) 全文: 内政部 arXiv公司
阿里·萨拉马蒂;萨代赫·苏贾尼;马吉德·扎马尼 具有信号时序逻辑约束的随机线性系统的数据驱动验证。 (英语) Zbl 1478.93672号 Automatica公司 131,文章ID 109781,10 p.(2021)。MSC公司:93E03型 93二氧化碳 03B44号 2015年1月62日 PDF格式BibTeX公司 XML格式引用 \textit{A.Salamati}等人,Automatica 131,文章ID 109781,10 p.(2021;Zbl 1478.93672) 全文: 内政部 链接
H.克莱比。;A.Dutfoy。;T·高尔蒂埃。;J·卡尼尔。 关于分段确定马尔可夫过程的最优重要性过程。 (英语) Zbl 1506.60102号 ESAIM,Probab公司。斯达。 23893-921(2019)。MSC公司:60 K10 90B25型 62号05 PDF格式BibTeX公司 XML格式引用 \textit{H.Chraibi}等人,ESAIM,Probab。Stat.23,893--921(2019;Zbl 1506.60102) 全文: 内政部
法布里西奥·比昂迪;川本优助;Legay、Axel;路易斯·马里·特劳努埃兹 互信息的混合统计估计及其在信息流中的应用。 (英语) Zbl 1425.68251号 正式Asp。计算。 第2期第31页,165-206(2019)。MSC公司:60年第68季度 62B10型 2015年1月62日 68页30 PDF格式BibTeX公司 XML格式引用 \textit{F.Biondi}等人,《形式Asp》。计算。31,第2号,165--206(2019;Zbl 1425.68251) 全文: 内政部 arXiv公司
米利奥斯·迪米特里奥斯;吉多·桑吉内蒂;大卫·施诺尔 基于序贯贝叶斯推理的连续时间马尔可夫链概率模型检验。 (英语) Zbl 1514.68141号 McIver,Annabelle(编辑)等人,《系统的定量评估》。2018年9月4日至7日,第15届QEST国际会议,中国北京。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11024, 289-305 (2018).MSC公司:60年第68季度 60年28日 2015年1月62日 PDF格式BibTeX公司 XML格式引用 \textit{D.Milios}等人,Lect。注释计算。科学。11024、289--305(2018;Zbl 1514.68141) 全文: 内政部 arXiv公司 链接
Sofie海瑟特;保罗·M·J·范登·霍夫(Paul M.J.van den Hof)。;亚历山德罗·阿巴特 通过贝叶斯识别和可达性分析进行数据驱动和基于模型的验证。 (英语) Zbl 1371.93187号 Automatica公司 79, 115-126 (2017)。MSC公司:93E03型 2015年1月62日 93个B03 93二氧化碳 PDF格式BibTeX公司 XML格式引用 \textit{S.Haesaert}等人,自动化79、115——126(2017;兹bl 1371.93187) 全文: 内政部 链接
保罗·祖利亚尼;安德烈·普拉泽;埃德蒙·克拉克(Edmund M.Clarke)。 贝叶斯统计模型检查及其在Stateflow/Simulink验证中的应用。 (英语) Zbl 1291.68273号 形式方法系统。设计。 43,第2期,338-367(2013)。MSC公司:60年第68季度 87年第68季度 62英尺10英寸 62F03型 PDF格式BibTeX公司 XML格式引用 \textit{P.Zuliani}等人,《形式方法系统》。设计。43,No.2,338--367(2013;Zbl 1291.68273) 全文: 内政部
苏米特·库马尔·贾阿;克里斯托弗·詹姆斯·兰米德 使用统计模型检查和抽象求精对生化系统随机模型进行综合和不可行性分析。 (英语) Zbl 1211.92021号 西奥。计算。科学。 412,第21号,2162-2187(2011)。MSC公司:92C40型 92立方厘米 60年20日 62页第10页 65C20个 99年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.K.Jha}和\textit{C.J.Langmead},Theor。计算。科学。412,第21号,2162--2187(2011;Zbl 1211.92021) 全文: 内政部