玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克;加布里埃尔·桑托斯 并发随机系统的自动验证。 (英语) Zbl 1505.68025号 形式方法系统。设计。 58,编号1-2,188-250(2021).MSC公司:60年第68季度 68问题85 87年第68季度 91A15型 PDF格式BibTeX公司 XML格式引用 \textit{M.Kwiatkowska}等人,《形式方法系统》。设计。58,编号1-2188-250(2021;兹bl 1505.68025) 全文: 内政部 arXiv公司
卢卡·卡德利;玛尔塔·奎亚特科夫斯卡;卢卡·劳伦蒂 用化学反应网络编程离散分布。 (英语) Zbl 1528.68111号 自然计算。 17,第1期,131-145(2018).MSC公司:2007年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}等人,《自然计算》。17,编号1,131--145(2018;Zbl 1528.68111) 全文: 内政部
克里斯特尔·拜尔;卢卡·德·阿尔法罗;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公司:60年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}等人,in:模型检查手册。查姆:斯普林格。963--999(2018;Zbl 1392.68227) 全文: 内政部
亚历山大·约万诺维奇;玛尔塔·奎亚特科夫斯卡 基于随机博弈抽象的概率时间自动机参数综合。 (英语) Zbl 1393.68096号 西奥。计算。科学。 735, 64-81 (2018).MSC公司:65年第68季度 60年第68季度 87年第68季度 91A15型 PDF格式BibTeX公司 XML格式引用 \textit{A.Jovanović}和\textit{M.Kwiatkowska},Theor。计算。科学。735,64-81(2018;Zbl 1393.68096) 全文: 内政部
亚历山大·约万诺维奇;玛尔塔·奎亚特科夫斯卡;格钦·诺曼;佩拉斯、昆廷 概率时间自动机的符号最优期望时间可达性计算和控制器综合。 (英语) Zbl 1359.68171号 西奥。计算。科学。 669,1-21(2017).MSC公司:65年第68季度 60年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Jovanović}等人,Theor。计算。科学。669,1--21(2017;Zbl 1359.68171) 全文: 内政部 链接
巴伯,贝诺;尼古拉斯·巴塞特;马克·比昂纳多;玛尔塔·奎亚特科夫斯卡 时间自动机的统一采样及其在语言包含性测量中的应用。 (英语) Zbl 1377.68126号 Agha,Gul(编辑)等人,《系统的定量评估》。第13届国际会议,2016年QEST,加拿大魁北克市,QC,2016年8月23日至25日。诉讼程序。查姆:施普林格(ISBN 978-3-319-43424-7/pbk;978-3-3169-43425-4/电子书)。计算机科学讲座笔记9826175-190(2016)。MSC公司:60年第68季度 65年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Barbot}等人,Lect。注释计算。科学。9826、175--190(2016年;Zbl 1377.68126) 全文: 内政部 链接
卢卡·卡德利;玛尔塔·奎亚特科夫斯卡;卢卡·劳伦蒂 用化学反应网络编程离散分布。 (英语) Zbl 1451.68108号 Rondelez,Yannick(编辑)等人,DNA计算和分子编程。第22届国际会议,DNA 22,德国慕尼黑,2016年9月4日至8日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9818, 35-51 (2016).MSC公司:2007年第68季度 60E99型 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}等人,Lect。注释计算。科学。9818,35-51(2016;Zbl 1451.68108) 全文: 内政部 arXiv公司 链接
亚历山大·约万诺维奇;玛尔塔·奎亚特科夫斯卡;格钦·诺曼 概率时间自动机的符号最小期望时间控制器综合。 (英语) 兹比尔1465.68153 Sankaranarayanan,Sriram(编辑)等人,时间系统的形式化建模和分析。第13届国际会议,FORMATS 2015,西班牙马德里,2015年9月2-4日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9268, 140-155 (2015).MSC公司:65年第68季度 87年第68季度 93亿B50 PDF格式BibTeX公司 XML格式引用 \textit{A.Jovanović}等人,Lect。注释计算。科学。9268、140-155(2015年;Zbl 1465.68153) 全文: 内政部
托马斯·布拉兹迪尔;克里希南德·查特吉;马丁·奇梅利克;Forejt,Vojtěch公司;简·Křetínsk;玛尔塔·奎亚特科夫斯卡;大卫·帕克;马特乌斯·乌玛 使用学习算法验证马尔可夫决策过程。 (英语) Zbl 1448.68290号 Cassez,Franck(编辑)等人,《用于验证和分析的自动化技术》。2014年11月3日至7日,澳大利亚新南威尔士州悉尼,第十二届国际研讨会,ATVA 2014。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。8837, 98-114 (2014).MSC公司:60年第68季度 87年第68季度 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{T.Brázdil}等人,Lect。注释计算。科学。8837、98——114(2014年;Zbl 1448.68290) 全文: 内政部 arXiv公司
亚历山大·约万诺维奇;玛尔塔·奎亚特科夫斯卡 基于随机博弈抽象的概率时间自动机参数综合。 (英语) Zbl 1393.68095号 Ouaknine,Joöl(编辑)等人,《可达性问题》。2014年9月22日至24日,英国牛津,RP 2014,第八届国际研讨会。诉讼程序。柏林:施普林格出版社(ISBN 978-3-319-11438-5/pbk)。计算机科学课堂讲稿8762176-189(2014)。MSC公司:65年第68季度 60年第68季度 87年第68季度 91A15型 PDF格式BibTeX公司 XML格式引用 \textit{A.Jovanović}和\textit{M.Kwiatkowska},莱克特。注释计算。科学。8762176-189(2014年;兹比尔1393.68095) 全文: 内政部 链接
亚历山德罗·阿巴特;玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克 通过有限近似互模拟对标记马尔可夫过程进行概率模型检验。 (英语) Zbl 1407.68275号 van Breugel,Franck(编辑)等人,《心灵的地平线》。向普拉卡什·帕南加登致敬。在普拉卡什·帕南加登60岁生日之际为他撰写的论文。柏林:斯普林格。莱克特。注释计算。科学。8464, 40-58 (2014).MSC公司:60年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Abate}等人,Lect。注释计算。科学。8464,40-58(2014;Zbl 1407.68275) 全文: 内政部
陈、陶璐;马尔科·戴西奥拉;玛尔塔·奎亚特科夫斯卡;亚历山大·梅雷克莱 连续时间马尔可夫链上线性持续时间特性的验证。 (英语) Zbl 1353.68174号 ACM事务处理。计算。日志。 第14号第4条第33条第35页(2013年).MSC公司:60年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Chen}等人,ACM Trans。计算。日志。14,第4号,第33条,35页(2013;Zbl 1353.68174) 全文: 内政部
玛尔塔·奎亚特科夫斯卡;大卫·帕克 概率系统的自动验证和策略综合。 (英语) Zbl 1410.68233号 Hung,Dang Van(编辑)等人,《用于验证和分析的自动化技术》。2013年10月15日至18日,第11届国际研讨会,2013年ATVA,越南河内。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。8172, 5-22 (2013).MSC公司:60年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kwiatkowska}和\textit{D.Parker},莱克特。注释计算。科学。8172,5--22(2013;Zbl 1410.68233) 全文: 内政部
克里斯特尔·拜尔(编辑);玛尔塔·奎亚特科夫斯卡(编辑) 概率模型检验专题前言。 (英语) 兹比尔1291.68245 形式方法系统。设计。 43,第2期,121-123(2013).MSC公司:60年第68季度 87年第68季度 00B15号机组 68-06 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}(编辑)和\textit{M.Kwiatkowska}(主编),《形式方法系统》。设计。43,编号2121-123(2013年;兹bl 1291.68245) 全文: 内政部
陈、陶璐;Forejt,Vojtěch公司;玛尔塔·奎亚特科夫斯卡;大卫·帕克;西马提斯,艾斯蒂斯 竞争随机系统的自动验证。 (英语) Zbl 1291.68252号 形式方法系统。设计。 43,第1期,61-92(2013).MSC公司:60年第68季度 87年第68季度 91A15型 03B44号 03B48号 PDF格式BibTeX公司 XML格式引用 \textit{T.Chen}等人,《形式方法系统》。设计。43,第1号,61-92(2013;Zbl 1291.68252) 全文: 内政部 链接
玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克;曲洪阳 通过多目标模型检查进行组合概率验证。 (英语) Zbl 1277.68138号 Inf.计算。 232, 38-65 (2013).MSC公司:60年第68季度 87年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kwiatkowska}等人,《信息计算》。232、38-65(2013;Zbl 1277.68138) 全文: 内政部
陈、陶璐;Forejt,Vojtěch公司;玛尔塔·奎亚特科夫斯卡;大卫·帕克;西马提斯,艾斯蒂斯 PRISM-games:随机多层游戏的模型检查器。 (英语) Zbl 1381.68151号 Piterman,Nir(编辑)等人,《系统构建和分析的工具和算法》。2013年3月16日至24日,第19届国际会议(TACAS 2013)在意大利罗马举行,作为欧洲软件理论与实践联合会议(ETAPS 2013)的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-36741-0/pbk)。计算机科学课堂讲稿7795185-191(2013)。MSC公司:60年第68季度 87年第68季度 91A06型 91A15型 PDF格式BibTeX公司 XML格式引用 \textit{T.Chen}等人,Lect。注释计算。科学。7795,185--191(2013;Zbl 1381.68151) 全文: 内政部
陈、陶璐;韩婷婷;玛尔塔·奎亚特科夫斯卡 关于区间值离散时间马尔可夫链模型检验的复杂性。 (英语) Zbl 1259.68150号 信息处理。莱特。 113,第7号,210-216(2013).MSC公司:87年第68季度 60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Chen}等人,《Inf.过程》。莱特。113,编号7,210--216(2013;Zbl 1259.68150) 全文: 内政部
Forejt,Vojtěch公司;玛尔塔·奎亚特科夫斯卡;大卫·帕克 概率模型检查的Pareto曲线。 (英语) Zbl 1374.68285号 Chakraborty,Supratik(编辑)等人,《验证和分析自动化技术》。2012年10月3日至6日,印度第十届国际研讨会,2012年ATVA,Thiruvananthapuram。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-3385-9/pbk)。计算机科学课堂讲稿7561317-332(2012)。MSC公司:60年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Forejt}等人,Lect。注释计算。科学。7561317--332(2012年;Zbl 1374.68285) 全文: 内政部 arXiv公司
陈、陶璐;Forejt,Vojtěch公司;玛尔塔·奎亚特科夫斯卡;大卫·帕克;西马提斯,艾斯蒂斯 竞争随机系统的自动验证。 (英语) Zbl 1352.68150号 Flanagan,Cormac(编辑)等人,《系统构建和分析的工具和算法》。2012年3月24日至4月1日在爱沙尼亚塔林举行的第18届国际会议(TACAS 2012),是欧洲软件理论与实践联合会议(ETAPS 2012)的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-28755-8/pbk)。计算机科学课堂讲稿7214,315-330(2012)。MSC公司:60年第68季度 03B44号 87年第68季度 91A15型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{T.Chen}等人,Lect。注释计算。科学。7214、315-330(2012;Zbl 1352.68150) 全文: 内政部
冯、鲁;韩婷婷;玛尔塔·奎亚特科夫斯卡;大卫·帕克 同步概率系统基于学习的组合验证。 (英语) Zbl 1348.68135号 Bultan,Tevfik(编辑)等人,《验证和分析自动化技术》。2011年10月11日至14日,第九届国际研讨会,ATVA 2011,台湾台北。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-24371-4/pbk)。计算机科学课堂讲稿6996511-521(2011)。MSC公司:60年第68季度 60J20型 65年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Feng}等人,Lect。注释计算。科学。6996、511--521(2011;Zbl 1348.68135) 全文: 内政部 哈尔
陈、陶璐;马可·迪乔拉;玛尔塔·奎亚特科夫斯卡;亚历山大·梅雷克莱 根据实时规范对CTMC进行有时限的验证。 (英语) Zbl 1348.68126号 Fahrenberg,Uli(编辑)等人,《时间系统的形式化建模和分析》。2011年9月21日至23日,第九届国际会议,FORMATS 2011,丹麦奥尔堡。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-24309-7/pbk)。计算机科学课堂讲稿6919,26-42(2011)。MSC公司:60年第68季度 60J28型 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Chen}等人,Lect。注释计算。科学。6919,26-42(2011;Zbl 1348.68126) 全文: 内政部
陈、陶璐;玛尔塔·奎亚特科夫斯卡;大卫·帕克;西马提斯,艾斯蒂斯 使用概率模型检查验证团队组建协议。 (英语) Zbl 1348.68255号 Leite,Joáo(编辑)等人,《多智能体系统中的计算逻辑》。第十二届国际研讨会,CLIMA XII,西班牙巴塞罗那,2011年7月17日至18日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-22358-7/pbk)。计算机科学课堂讲稿6814。《人工智能课堂讲稿》,190-207年(2011年)。MSC公司:68T42型 60J20型 60年第68季度 87年第68季度 90立方厘米 91A15型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{T.Chen}等人,Lect。注释计算。科学。6814、190--207(2011;Zbl 1348.68255) 全文: 内政部
Forejt,Vojtěch公司;玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克;曲洪阳 概率系统的定量多目标验证。 (英语) Zbl 1315.68177号 Abdulla,Parosh Aziz(编辑)等人,《系统构建和分析的工具和算法》。2011年3月26日至4月3日在德国萨尔布吕肯举行的第17届国际会议(TACAS 2011),是欧洲软件理论与实践联合会议(ETAPS 2011)的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-19834-2/pbk)。计算机科学讲座笔记6605112-127(2011)。MSC公司:60年第68季度 65年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Forejt}等人,Lect。注释计算。科学。6605112-127(2011年;Zbl 1315.68177) 全文: 内政部
马尔钦·尤尔季安斯基;玛尔塔·奎亚特科夫斯卡;格钦·诺曼;阿舒托什·特里维迪 秘密定价的概率时间自动机。 (英语) 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公司:65年第68季度 2017年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Jurdziñski}等人,莱克特。注释计算。科学。5710415--430(2009年;Zbl 1254.68136) 全文: 内政部 链接
Mark Kattenbelt公司;玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克 PRISM中基于博弈的概率谓词抽象。 (英语) Zbl 1286.68316号 Aldini,Alessandro(编辑)等人,第六届编程语言定量方面研讨会论文集(QAPL 2008),匈牙利布达佩斯,2008年3月29日至30日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》220,第3期,5-21页(2008年)。MSC公司:60年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kattenbelt}等人,《电子》。注释Theor。计算。科学。220,编号3,5--21(2008;Zbl 1286.68316) 全文: 内政部
玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克 随机模型检查。 (英语) Zbl 1323.68379号 Bernardo,Marco(编辑)等人,《绩效评估的正式方法》。2007年5月28日至6月2日,意大利贝蒂诺罗,第七所计算机、通信和软件系统正式设计方法国际学校,SFM 2007。高级讲座。柏林:施普林格出版社(ISBN 978-3-540-72482-7/pbk)。计算机科学课堂讲稿4486,220-270(2007)。MSC公司:60年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kwiatkowska}等人,Lect。注释计算。科学。4486、220-270(2007年;Zbl 1323.68379) 全文: 内政部
Etessami,K。;Kwiatkowska,M。;M.Y.瓦尔迪。;亚纳卡基斯,M。 马尔可夫决策过程的多目标模型检验。 (英语) Zbl 1186.68286号 Grumberg,Orna(编辑)等人,《系统构建和分析的工具和算法》。2007年3月24日至4月1日在葡萄牙布拉加举行的第13届国际会议TACAS 2007,是欧洲软件理论与实践联合会议ETAPS 2007的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-71208-4/pbk)。计算机科学课堂讲稿4424,50-65(2007)。MSC公司:60年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Etessami}等人,Lect。注释计算。科学。4424、50-65(2007年;Zbl 1186.68286) 全文: 内政部
马库斯·格勒;格钦·诺曼;克里斯特尔·拜尔;Frank Ciesinski先生;玛尔塔·奎亚特科夫斯卡;大卫·帕克 概率报酬模型的约简准则。 (英语) Zbl 1177.68150号 Arun-Kumar,S.(编辑)等人,FSTTCS 2006:软件技术和理论计算机科学基础。第26届国际会议,印度加尔各答,2006年12月13日至15日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-49994-7/pbk)。《计算机科学讲义》4337309-320(2006)。MSC公司:68问题85 60年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Größer}等人,Lect。注释计算。科学。4337、309--320(2006年;Zbl 1177.68150) 全文: 内政部
玛尔塔·奎亚特科夫斯卡;拉希德·迈赫穆德;格钦·诺曼;大卫·帕克 马尔可夫模型的符号离核求解方法。 (英语) Zbl 1270.68232号 Brim,Lubos(编辑)等人,PDMC 2002。2002年8月19日在捷克共和国布尔诺举行的第一次并行和分布式模型检查国际研讨会(CONCUR 2002卫星研讨会)会议记录。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》68,第4期,589-604(2002)。MSC公司:87年第68季度 60J28型 65楼30 60年第68季度 68瓦40 PDF格式BibTeX公司 XML格式引用 \文本{M.Kwiatkowska}等人,电子。注释Theor。计算。科学。68,第4号,589--604(2002;Zbl 1270.68232) 全文: 链接
克里斯特尔·拜尔;玛尔塔·奎亚特科夫斯卡 具有公平性的概率分支时间逻辑的模型检查。 (英语) Zbl 1448.68285号 分布计算。 11,第3期,125-155(1998).MSC公司:60年第68季度 03B44号 68问题85 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}和\textit{M.Kwiatkowska},Distrib.Comput。11,第3号,125--155(1998年;Zbl 1448.68285) 全文: 链接
Kwiatkowska,M.Z。;G.J.诺曼。 反应概率过程的测试等价性。 (英语) Zbl 0917.68154号 Castellani,Ilaria(编辑)等人,98年EXPRESS。1998年9月7日在法国尼斯举行的第五届并发表达国际研讨会。阿姆斯特丹:爱思唯尔,理论计算机科学电子笔记。16.2,第6号电子文件(1998年)。MSC公司:68问题85 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Z.Kwiatkowska}和\textit{G.J.Norman},in:EXPRESS'98。1998年9月7日在法国尼斯举行的第五届并发表达国际研讨会。阿姆斯特丹:爱思唯尔。第6号电子文件(1998;Zbl 0917.68154) 全文: 链接
克里斯特尔·拜尔;埃德蒙·克拉克(Edmund M.Clarke)。;瓦西利基·哈特纳斯·加姆豪森;玛尔塔·奎亚特科夫斯卡;马克·瑞恩 概率过程的符号模型检查。 (英语) Zbl 1401.68180号 Degano,Pierpaolo(编辑)等人,《自动化,语言和编程》。1997年7月7日至11日在意大利博洛尼亚举行的第24届国际学术讨论会。诉讼程序。柏林:Springer-Verlag(ISBN 978-3-540-63165-1/pbk;978-3-540-69194-5/电子书)。计算机科学课堂讲稿1256430-440(1997)。MSC公司:60年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}等人,Lect。注释计算。科学。12561430-440(1997年;兹bl 1401.68180) 全文: 内政部 链接