苏里亚·西特加·德苏;阿努巴夫·斯利瓦斯塔瓦;M.V.Panduranga Rao 纠缠交换的模型检查。 (英语) Zbl 07643430号 Bogomolov,Sergiy(编辑)等,时间系统的形式化建模和分析。第20届国际会议,FORMATS 2022,波兰华沙,2022年9月13日至15日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13465, 98-114 (2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{S.S.T.Desu}等人,Lect。注释计算。科学。13465,98-114(2022;Zbl 07643430) 全文: 内政部
Julia艾森特;Edon Kelmendi;简·Křetínsk;马克西米利安·威宁格 简单随机对策的值迭代:停止准则和学习算法。 (英语) Zbl 1507.91016号 Inf.计算。 285,B部分,文章ID 104886,32 p.(2022).MSC公司:91A15型 91A68型 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{J.Eisentraut}等人,《信息计算》。285,B部分,文章ID 104886,32页(2022;Zbl 1507.91016) 全文: 内政部 arXiv公司
阿恩·哈特曼斯;Joost-Pieter卡托恩;科伦,布拉姆;拼写,Jip 调整概率时间自动机的几率。 (英语) Zbl 1491.68098号 阿巴特,亚历山德罗(编辑)等人,《系统的定量评估》。第18届国际会议,QEST 2021,法国巴黎,2021年8月23日至27日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12846,39-58(2021)。MSC公司:第68季度第45季度 60年第68季度 87年第68季度 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{A.Hartmanns}等人,莱克特。注释计算。科学。12846,39-58(2021;Zbl 1491.68098) 全文: 内政部
杰里米·斯普洛斯顿 具有时钟相关概率的概率时间自动机。 (英语) Zbl 1478.68136号 芬丹。通知。 178,编号1-2,101-138(2021).MSC公司:第68季度第45季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.斯普洛斯顿},芬丹。通知。178,编号1--2,101-138(2021;Zbl 1478.68136) 全文: 内政部 arXiv公司
简·Křetínsk;托拜厄斯·梅根多夫 核心:马尔可夫决策过程的部分探索框架。 (英语) Zbl 07269250号 日志。方法计算。科学。 16,第4号,第3号论文,31页(2020年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{J.Křetínsk \}和\textit{T.Meggendorfer},日志。方法计算。科学。16,第4号,第3号论文,31页(2020;Zbl 07269250) 全文: arXiv公司 链接
唐启毅;弗兰克·范·布鲁格尔 确定概率自动机的概率双相似距离1。 (英语) Zbl 1432.68247号 J.计算。系统。科学。 111, 57-84 (2020).MSC公司:第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{Q.Tang}和\textit{F.van Breugel},J.Compute。系统。科学。111、57-84(2020年;Zbl 1432.68247) 全文: 内政部 链接
埃蒂安·安德烈;贝诺·德拉哈耶;波林·福尼尔 参数区间概率时间自动机的一致性。 (英语) 兹比尔1494.68157 J.日志。阿尔盖布。方法计划。 110,文章ID 100459,22 p.(2020).MSC公司:60年第68季度 第68季度第45季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{埃米·安德烈}等人,J.Log。阿尔盖布。方法计划。110,文章ID 100459,22 p.(2020;Zbl 1494.68157) 全文: 内政部 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公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Křetínsk朣}和\textit{T.Meggendorfer},LIPIcs——莱布尼茨国际程序。通知。140,第5条,第17页(2019年;Zbl 07649913) 全文: 内政部
杰里米·斯普洛斯顿 有限互模拟概率混合自动机的验证与控制。 (英语) Zbl 1417.68105号 J.日志。阿尔盖布。方法计划。 103, 46-61 (2019).MSC公司:60年第68季度 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{J.斯普洛斯顿},J.Log。阿尔盖布。方法计划。103、46-61(2019年;Zbl 1417.68105) 全文: 内政部 链接
傅洪飞;李毅;李建林 根据欧米伽正则稠密时间属性验证概率时间自动机。 (英语) Zbl 1514.68132号 McIver,Annabelle(编辑)等人,《系统的定量评估》。2018年9月4日至7日,第15届QEST国际会议,中国北京。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11024, 122-139 (2018).MSC公司:60年第68季度 第68季度第45季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Fu}等人,Lect。注释计算。科学。11024122-139(2018年;兹比尔1514.68132) 全文: 内政部 arXiv公司
亚历克桑德拉·约瓦诺维奇;玛尔塔·奎亚特科夫斯卡 基于随机博弈抽象的概率时间自动机参数综合。 (英语) 兹比尔1393.68096 西奥。计算。科学。 735,64-81(2018).MSC公司:第68季度第45季度 60年第68季度 87年第68季度 91A15型 PDF格式BibTeX公司 XML格式引用 \textit{A.Jovanović}和\textit{M.Kwiatkowska},Theor。计算。科学。735,64-81(2018;Zbl 1393.68096) 全文: 内政部
张慧;吴金钊 MPSoC数据动态的形式验证和定量度量。 (英语) Zbl 1382.68145号 正式Asp。计算。 30,第2期,219-237(2018).MSC公司:60年第68季度 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Zhang}和\textit{J.Wu},正式Asp。计算。30,第2号,219--237(2018;Zbl 1382.68145) 全文: 内政部
Chatzieleftheriou,G。;卡萨罗斯,P。 概率系统的抽象模型修复。 (英语) Zbl 1388.68185号 Inf.计算。 259,第1部分,142-160(2018).MSC公司:60年第68季度 03B44号 60J20型 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Chatzieleftheriou}和\textit{P.Katsaros},Inf.Compute。259,第1部分,142--160(2018;Zbl 1388.68185) 全文: 内政部
张连毅;罗桂明;青、杜正;王伟晶;于立新 随机构件系统的统计模型检验。 (英语) Zbl 07192076号 J.统计计算。模拟 87,第13号,2509-2525(2017).MSC公司:60年第68季度 68号30 60J20型 PDF格式BibTeX公司 XML格式引用 \textit{L.Zhang}等人,《统计计算杂志》。模拟87,No.13,2509--2525(2017;Zbl 07192076) 全文: 内政部
格钦·诺曼;大卫·帕克;邹学毅 部分可观测概率系统的验证和控制。 (英语) Zbl 1425.68266号 实时系统。 53,第3期,354-402(2017).MSC公司:60年第68季度 68平方米 第68季度第45季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Norman}等人,《实时系统》。53,第3号,354--402(2017;Zbl 1425.68266) 全文: 内政部
亚历克桑德拉·约瓦诺维奇;玛尔塔·奎亚特科夫斯卡;格钦·诺曼;佩拉斯、昆廷 概率时间自动机的符号最优期望时间可达性计算和控制器综合。 (英语) Zbl 1359.68171号 西奥。计算。科学。 669,1-21(2017).MSC公司:第68季度第45季度 60年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Jovanović}等人,Theor。计算。科学。669,1--21(2017;Zbl 1359.68171) 全文: 内政部 链接
克里斯蒂安·冯·埃森;芭芭拉·乔布斯曼;大卫·帕克;拉胡尔·瓦什内亚 在概率环境中合成高效系统。 (英语) 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) 全文: 内政部 链接
佩德罗·达吉尼奥。;阿恩·哈特曼斯;Legay、Axel;肖恩·塞德瓦兹 概率时间自动机最优调度的统计近似。 (英语) Zbl 1354.68172号 布拉哈姆,埃里卡(编辑)等,《综合形式方法》。2016年6月1日至5日在冰岛雷克雅未克举行的2016年第12届国际会议。诉讼程序。查姆:施普林格(ISBN 978-3-319-33692-3/pbk;978-3-3169-33693-0/电子书)。计算机科学讲座笔记968199-114(2016)。MSC公司:60年第68季度 第68季度第45季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.R.D'Argenio}等人,莱克特。注释计算。科学。9681,99-114(2016;Zbl 1354.68172) 全文: 内政部 链接
格钦·诺曼;大卫·帕克;邹学毅 部分可观测概率实时系统的验证和控制。 (英语) Zbl 1465.68182号 Sankaranarayanan,Sriram(编辑)等人,时间系统的形式化建模和分析。第13届国际会议,FORMATS 2015,西班牙马德里,2015年9月2-4日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9268, 240-255 (2015).MSC公司:60年第68季度 68平方米 68平方米25 第68季度第45季度 93C83号 PDF格式BibTeX公司 XML格式引用 \textit{G.Norman}等人,Lect。注释计算。科学。9268、240-255(2015年;Zbl 1465.68182) 全文: 内政部 arXiv公司
亚历克桑德拉·约瓦诺维奇;玛尔塔·奎亚特科夫斯卡;格钦·诺曼 概率时间自动机的符号最小期望时间控制器综合。 (英语) Zbl 1465.68153号 Sankaranarayanan,Sriram(编辑)等人,时间系统的形式化建模和分析。第13届国际会议,FORMATS 2015,西班牙马德里,2015年9月2-4日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9268, 140-155 (2015).MSC公司:第68季度第45季度 87年第68季度 93亿B50 PDF格式BibTeX公司 XML格式引用 \textit{A.Jovanović}等人,Lect。注释计算。科学。9268、140-155(2015年;Zbl 1465.68153) 全文: 内政部
亚历克桑德拉·约瓦诺维奇;玛尔塔·奎亚特科夫斯卡 基于随机博弈抽象的概率时间自动机参数综合。 (英语) Zbl 1393.68095号 Ouaknine,Joöl(编辑)等人,《可达性问题》。2014年9月22日至24日,英国牛津,RP 2014,第八届国际研讨会。诉讼程序。柏林:施普林格出版社(ISBN 978-3-319-11438-5/pbk)。计算机科学课堂讲稿8762176-189(2014)。MSC公司:第68季度第45季度 60年第68季度 87年第68季度 91A15型 PDF格式BibTeX公司 XML格式引用 \textit{A.Jovanović}和\textit{M.Kwiatkowska},莱克特。注释计算。科学。8762、176--189(2014;Zbl 1393.68095) 全文: 内政部
克劳斯·阿格博士;玛尔塔·奎亚特科夫斯卡;大卫·帕克;曲洪阳 概率定时程序的局部抽象精化。 (英语) Zbl 1359.68187号 西奥。计算。科学。 538, 37-53 (2014).MSC公司:60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{K.Dräger}等人,Theor。计算。科学。538、37--53(2014年;Zbl 1359.68187) 全文: 内政部
格钦·诺曼;大卫·帕克;杰里米·斯普洛斯顿 概率时间自动机的模型检验。 (英语) Zbl 1291.68265号 形式方法系统。设计。 43,第2期,164-190(2013).MSC公司:60年第68季度 87年第68季度 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Norman}等人,《形式方法系统》。设计。43,第2164--190号(2013年;兹bl 1291.68265) 全文: 内政部 链接
埃蒂安·安德烈;劳伦·弗里堡;杰里米·斯普洛斯顿 将逆方法推广到概率时间自动机。 (英语) Zbl 1291.68240号 形式方法系统。设计。 42,第2期,119-145(2013).MSC公司:60年第68季度 87年第68季度 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{埃米·安德烈}等人,《形式方法系统》。设计。42,No.2,119--145(2013;Zbl 1291.68240) 全文: 内政部
玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克;曲洪阳 通过多目标模型检查进行组合概率验证。 (英语) Zbl 1277.68138号 Inf.计算。 232, 38-65 (2013).MSC公司:60年第68季度 87年第68季度 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kwiatkowska}等人,《信息计算》。232、38-65(2013;Zbl 1277.68138) 全文: 内政部
巴特·塞伦;马克·盖伦;杰罗·沃顿 性能模型检查场景软件数据流。 (英语) Zbl 1348.68151号 Fahrenberg,Uli(编辑)等人,《时间系统的形式化建模和分析》。2011年9月21日至23日,第九届国际会议,FORMATS 2011,丹麦奥尔堡。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-24309-7/pbk)。计算机科学课堂讲稿6919,43-59(2011)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Theelen}等人,Lect。注释计算。科学。6919、43-59(2011年;Zbl 1348.68151) 全文: 内政部
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) 全文: 内政部 链接
玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克 概率时间自动机验证的随机博弈。 (英语) Zbl 1262.68125号 Ouaknine,Joöl(编辑)等,时间系统的形式化建模和分析。2009年9月14-16日在匈牙利布达佩斯举行的2009年FORMATS第七届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-04367-3/pbk)。计算机科学课堂讲稿5813,212-227(2009)。MSC公司:60年第68季度 68问题85 91A15型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{M.Kwiatkowska}等人,Lect。注释计算。科学。5813、212--227(2009年;Zbl 1262.68125) 全文: 内政部
杰里米·斯普洛斯顿 概率时间自动机的严格分歧。 (英语) 兹比尔1254.68137 Bravetti,Mario(编辑)等人,CONCUR 2009–并发理论。第20届国际会议,CONCUR 2009,意大利博洛尼亚,2009年9月1-4日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-04080-1/pbk)。计算机科学课堂讲稿5710,620-636(2009)。MSC公司:第68季度第45季度 60年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.斯普洛斯顿},莱克特。注释计算。科学。5710、620--636(2009年;Zbl 1254.68137) 全文: 内政部
马尔钦·尤季扬斯基;玛尔塔·奎亚特科夫斯卡;格钦·诺曼;阿舒托什·特里维迪 秘密定价的概率时间自动机。 (英语) Zbl 1254.68136号 Bravetti,Mario(编辑)等人,CONCUR 2009–并发理论。第20届国际会议,CONCUR 2009,意大利博洛尼亚,2009年9月1-4日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-04080-1/pbk)。计算机科学课堂讲稿5710,415-430(2009)。MSC公司:第68季度第45季度 2017年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Jurdziñski}等人,莱克特。注释计算。科学。5710415--430(2009年;Zbl 1254.68136) 全文: 内政部
他,费;卢西亚诺·巴雷西;卡洛·盖齐;斯波莱蒂尼,波拉 用概率时间自动机对出版订阅系统进行形式化分析。 (英语) Zbl 1215.68041号 Derrick,John(编辑)等人,《网络和分布式系统的形式化技术——FORTE 2007》。2007年6月27日至29日在爱沙尼亚塔林举行的第27届IFIP工作组6.1国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-73195-5/pbk)。计算机科学课堂讲稿4574247-262(2007)。MSC公司:68米14 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{F.He}等人,Lect。注释计算。科学。4574,247--262(2007;Zbl 1215.68041) 全文: 内政部