玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克;加布里埃尔·桑托斯 基于回合的随机博弈的符号验证和策略综合。 (英语) Zbl 1528.68229号 Raskin,Jean-François(编辑)等人,《系统设计原则》。在托马斯·亨辛格60岁生日之际为他撰写的论文。查姆:施普林格。莱克特。注释计算。科学。13660, 388-406 (2022).MSC公司:第68季度第60季度 91A15型 PDF格式BibTeX公司 XML格式引用 \textit{M.Kwiatkowska}等人,Lect。注释计算。科学。13660388--406(2022年;Zbl 1528.68229) 全文: 内政部 arXiv公司
鲍嘉璐;奈特什·特里维迪;德拉什蒂·巴沙克;贾斯汀·徐;罗伊,苏巴吉特 概率程序的数据驱动不变学习。 (英语) Zbl 1514.68026号 Shoham,Sharon(编辑)等人,《计算机辅助验证》。第34届国际会议,CAV 2022,以色列海法,2022年8月7日至10日。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。13371, 33-54 (2022).MSC公司:68甲19 第68季度第60季度 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{J.Bao}等人,Lect。注释计算。科学。13371、33-54(2022年;Zbl 1514.68026) 全文: 内政部 arXiv公司
加尔阿姆拉姆;毛兹,沙哈尔;活塞,或;詹·奥利弗·林格特 欧米伽规则能量游戏的高效算法。 (英语) 兹比尔1522.91065 Huisman,Marieke(编辑)等人,《形式方法》。第24届国际研讨会,FM 2021,虚拟活动,2021年11月20日至26日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13047163-181(2021年)。MSC公司:91年68日 91A43型 91A05型 PDF格式BibTeX公司 XML格式引用 \textit{G.Amram}等人,Lect。注释计算。科学。13047163-181(2021年;Zbl 1522.91065) 全文: 内政部
克里斯特尔·拜尔;卢卡·德·阿尔法罗;Forejt,Vojtěch公司;玛尔塔·奎亚特科夫斯卡 模型检查概率系统。 (英语) Zbl 1392.68227号 Clarke,Edmund M.(编辑)等人,《模型检查手册》。查姆:施普林格(ISBN 978-3-319-10574-1/hbk;978-3-3169-10575-8/电子书)。963-999 (2018).MSC公司:第68季度第60季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}等人,in:模型检查手册。查姆:施普林格。963--999(2018;Zbl 1392.68227) 全文: 内政部
克里斯蒂安·冯·埃森;芭芭拉·乔布斯曼;大卫·帕克;拉胡尔·瓦什内亚 在概率环境中合成高效系统。 (英语) Zbl 1344.68171号 学报信息。 53,第4号,425-457(2016).MSC公司:第68季度85 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.von Essen}等人,《信息学报》53,第4期,425--457(2016年;Zbl 1344.68171) 全文: 内政部 链接
米罗诺夫,A.M。;弗伦克尔,S.L。 最小化程序的概率模型。 (英语。俄文原件) Zbl 1347.68232号 数学杂志。科学。,纽约 211,第3期,381-412(2015); 翻译自Fundam。普里克尔。材料19,第1期,121-163(2014)。MSC公司:第68季度第60季度 68号30 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{A.M.Mironov}和\textit{S.L.Frenkel},J.数学。科学。,纽约211,No.3,381--412(2015;Zbl 1347.68232);翻译自Fundam。普里克尔。材料19,编号1,121--163(2014) 全文: 内政部
比斯卡亚,M。;亨利克斯,D。;马特乌斯,P。 近似Skolem问题的可判定性及其在马尔可夫链动态特性逻辑验证中的应用。 (英语) Zbl 1354.68168号 ACM事务处理。计算。日志。 16,第1号,第4条,第17页(2015年).MSC公司:第68季度第60季度 03年2月25日 03B44号 2005年11月 60J20型 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Biscaia}等人,《美国医学杂志》。计算。日志。16,第1号,第4条,第17页(2015;Zbl 1354.68168) 全文: 内政部
马尼德拉·阿格拉瓦尔;阿克沙伊,S。;布莱斯·基内斯特;蒂亚加拉扬,P.S。 马尔可夫链符号动力学的近似验证。 (英语) Zbl 1321.68367号 美国临床医学杂志 62,第1号,第2条,第34页(2015年).MSC公司:87年第68季度 68号30 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Agrawal}等人,J.ACM 62,No.1,Article No.2,34 p.(2015;Zbl 1321.68367) 全文: 内政部 哈尔
埃齐奥·巴托西;卢卡·博托卢西;劳拉·内兹;吉多·桑吉内蒂 利用时间特性的鲁棒性进行随机模型的系统设计。 (英语) 兹比尔1327.68147 西奥。计算。科学。 587, 3-25 (2015).MSC公司:65年第68季度 03B44号 第68季度第60季度 87年第68季度 92立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{E.Bartocci}等人,Theor。计算。科学。587,3--25(2015;Zbl 1327.68147) 全文: 内政部
艾丽卡·阿尔布拉汉姆;贝恩德·贝克尔;克里斯蒂安·德内特;尼尔斯·詹森;Joost-Pieter卡托恩;拉尔夫·威默 离散时间马尔可夫模型的反例生成:介绍性调查。 (英语) Zbl 1445.68130号 Bernardo,Marco(编辑)等人,可执行软件模型的形式化方法。2014年6月16日至20日,意大利贝蒂诺罗,第14所计算机、通信和软件系统正式设计方法国际学校,SFM 2014。高级讲座。柏林:斯普林格。莱克特。注释计算。科学。8483, 65-121 (2014).MSC公司:第68季度第60季度 60J22型 65年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.ábrahám}等人,Lect。注释计算。科学。8483、65-121(2014年;Zbl 1445.68130) 全文: 内政部
格劳贝尔·德博纳;科兹曼、法比奥·加利亚迪;马塞洛·芬格 对命题概率逻辑进行分类。 (英语) Zbl 1352.03032号 J.应用。日志。 12,第3期,349-368(2014).MSC公司:03B48号 PDF格式BibTeX公司 XML格式引用 \textit{G.De Bona}等人,J.Appl。日志。12,第3号,349--368(2014;Zbl 1352.03032) 全文: 内政部
保罗·祖利亚尼;安德烈·普拉泽;埃德蒙·克拉克(Edmund M.Clarke)。 贝叶斯统计模型检查及其在Stateflow/Simulink验证中的应用。 (英语) Zbl 1291.68273号 形式方法系统。设计。 43,第2期,338-367(2013).MSC公司:第68季度第60季度 87年第68季度 10层62层 62F03型 PDF格式BibTeX公司 XML格式引用 \textit{P.Zuliani}等人,《形式方法系统》。设计。43,No.2,338--367(2013;Zbl 1291.68273) 全文: 内政部
克里斯特尔·拜尔(编辑);玛尔塔·奎亚特科夫斯卡(编辑) 概率模型检验专题前言。 (英语) Zbl 1291.68245号 形式方法系统。设计。 43,第2期,121-123(2013).MSC公司:第68季度第60季度 87年第68季度 00B15号机组 68-06 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}(编辑)和\textit{M.Kwiatkowska}(主编),《形式方法系统》。设计。43,No.2,121--123(2013;Zbl 1291.68245) 全文: 内政部
Joost-Pieter卡托恩;丹尼尔·克林克;马丁·勒克;维雷娜·沃尔夫 概率系统的三值抽象。 (英语) Zbl 1277.68219号 J.日志。代数。程序。 81,第4期,356-389(2012).MSC公司:87年第68季度 第68季度第60季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{J.-P.Katoen}等人,J.Log。代数。程序。81,编号4,356-389(2012年;兹bl 1277.68219) 全文: 内政部
苏米特·库马尔·贾阿;克里斯托弗·詹姆斯·兰米德 使用统计模型检查和抽象求精对生化系统随机模型进行综合和不可行性分析。 (英语) Zbl 1211.92021号 西奥。计算。科学。 412,第21号,2162-2187(2011).MSC公司:92C40型 92立方厘米 60J20型 62页第10页 65立方厘米20 99年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.K.Jha}和\textit{C.J.Langmead},Theor。计算。科学。412,第21号,2162--2187(2011;Zbl 1211.92021) 全文: 内政部
克里斯特尔·拜尔;马库斯·格勒;Frank Ciesinski先生 概率系统线性时间特性的模型检验。 (英语) Zbl 1484.68095号 Droste,Manfred(编辑)等人,《加权自动机手册》。柏林:斯普林格。单声道。理论。计算。科学。,EATCS系列。,519-570 (2009).MSC公司:第68季度第60季度 2010年第68季度 65年第68季度 87年第68季度 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}等人,in:加权自动机手册。柏林:斯普林格。519-570(2009年;Zbl 1484.68095) 全文: 内政部
保罗·巴拉里尼;安德拉斯·霍瓦思 产品形态CTMC的成分模型检查。 (英语) Zbl 1339.68163号 Michael Goldsmith(编辑)等人,《关键系统自动验证第七届国际研讨会论文集》(AVoCS 2007),英国牛津,2007年9月10日至12日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》250,第1期,21-37(2009)。MSC公司:第68季度第60季度 03B70号 60J28型 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Ballarini}和\textit{A.Horváth},电子。注释Theor。计算。科学。250,编号1,21-37(2009;Zbl 1339.68163) 全文: 内政部
佩德罗·巴尔塔扎尔;保罗·马特乌斯 概率命题逻辑的时间化。 (英语) Zbl 1211.03042号 Artemov,Sergei(编辑)等人,《计算机科学的逻辑基础》。2009年1月3日至6日,美国佛罗里达州迪尔菲尔德海滩,LFCS 2009国际研讨会。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-92686-3/pbk)。计算机科学课堂讲稿5407,46-60(2009)。MSC公司:03B48号 PDF格式BibTeX公司 XML格式引用 \textit{P.Baltazar}和\textit{P.Mateus},莱克特。注释计算。科学。5407、46-60(2009年;Zbl 1211.03042) 全文: 内政部
何塞·德斯哈奈斯;古普塔,葡萄藤;拉德哈·贾加迪桑;帕南加登,普拉卡什 标记马尔可夫过程的度量。 (英语) Zbl 1068.68093号 西奥。计算。科学。 318,第3期,323-354(2004).MSC公司:第68季度85 2010年第68季度 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Desharnais}等人,Theor。计算。科学。318,第3号,323--354(2004;Zbl 1068.68093) 全文: 内政部
何塞·德斯哈奈斯;葡萄藤古普塔;拉德哈·贾加迪桑;帕南加登,普拉卡什 近似标记马尔可夫过程。 (英语) Zbl 1028.68091号 Inf.计算。 184,第1期,160-200(2003).MSC公司:第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{J.Desharnais}等人,《信息计算》。184,编号1,160--200(2003;Zbl 1028.68091) 全文: 内政部
克里斯特尔·拜尔;贝蒂娜·恩格伦;米拉·卡德巴姆少校 概率过程的双相似性和相似性的判定。 (英语) Zbl 1073.68690号 J.计算。系统。科学。 60,第1期,187-231(2000).MSC公司:第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}等人,《计算杂志》。系统。科学。60,第1号,187--231(2000;Zbl 1073.68690) 全文: 内政部