玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克;加布里埃尔·桑托斯 基于回合的随机博弈的符号验证和策略综合。 (英语) Zbl 1528.68229号 Raskin,Jean-François(编辑)等人,《系统设计原则》。在托马斯·亨辛格60岁生日之际为他撰写的论文。查姆:斯普林格。莱克特。票据计算。科学。13660, 388-406 (2022).MSC公司:60年第68季度 91A15型 PDF格式BibTeX公司 XML格式引用 \textit{M.Kwiatkowska}等人,Lect。票据计算。科学。13660388--406(2022年;Zbl 1528.68229) 全文: 内政部 arXiv公司
玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克;加布里埃尔·桑托斯 并发随机系统的自动验证。 (英语) 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--2,188-250(2021;Zbl 1505.68025) 全文: 内政部 arXiv公司
玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克;加布里埃尔·桑托斯 并发随机博弈的多人均衡验证。 (英语) Zbl 1483.68197号 Gribaudo,Marco(编辑)等人,《系统的定量评估》。第17届国际会议,QEST 2020,奥地利维也纳,2020年8月31日至9月3日。诉讼程序。查姆:斯普林格。莱克特。票据计算。科学。12289, 74-95 (2020).MSC公司:60年第68季度 03B44号 68问题85 91A15型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{M.Kwiatkowska}等人,Lect。票据计算。科学。12289,74-95(2020;Zbl 1483.68197) 全文: 内政部 arXiv公司 链接
吴敏;马修·威克;阮文杰;黄晓伟;玛尔塔·奎亚特科夫斯卡 具有可证明保证的深度神经网络的基于博弈的近似验证。 (英语) Zbl 1436.68199号 西奥。计算。科学。 807, 298-329 (2020).MSC公司:60年第68季度 68T07型 68吨10 91B80型 PDF格式BibTeX公司 XML格式引用 \textit{M.Wu}等人,Theor。计算。科学。807298-329(2020年;Zbl 1436.68199) 全文: 内政部 arXiv公司 链接
黄晓伟;玛尔塔·奎亚特科夫斯卡;马西耶·奥列尼克 随机多智能体系统中认知信任的推理。 (英语) Zbl 1433.68422号 ACM事务处理。计算。日志。 第20条第4款第21条第64页(2019年).MSC公司:68T27型 03B42号 03B44号 60年第68季度 68T42型 91A60 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{X.Huang}等人,ACM Trans。计算。日志。20,第4号,第21条,64页(2019年;Zbl 1433.68422) 全文: 内政部 arXiv公司 链接
卢卡·博托卢西;卢卡·卡德利;玛尔塔·奎亚特科夫斯卡;卢卡·劳伦蒂 中心极限模型检查。 (英语) 兹比尔1433.68209 ACM事务处理。计算。日志。 第20条第4款第19条第35页(2019年).MSC公司:60年第68季度 60J28型 PDF格式BibTeX公司 XML格式引用 \textit{L.Bortolussi}等人,ACM Trans。计算。日志。20,第4号,第19条,第35页(2019年;Zbl 1433.68209) 全文: 内政部 arXiv公司 链接
纳塔利·考奇;卢卡·劳伦蒂;莫特萨·拉希贾尼安;亚历山德罗·阿巴特;玛尔塔·奎亚特科夫斯卡;卢卡·卡德利 通过不确定性提高效率:随机混合系统的可扩展形式综合。 (英语) Zbl 07120160号 2019年4月16日至18日,加拿大魁北克蒙特利尔,HSCC 2019,第22届ACM混合系统:计算和控制国际会议记录。纽约州纽约市:计算机协会(ACM)。240-251 (2019).MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{N.Cauchi}等人,in:第22届ACM混合系统国际会议论文集:计算与控制,HSCC 2019,加拿大魁北克省蒙特利尔,2019年4月16-18日。纽约州纽约市:计算机协会(ACM)。240-251(2019年;Zbl 07120160) 全文: 内政部 arXiv公司
玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克;加布里埃尔·桑托斯 并发随机博弈的自动验证。 (英语) 兹比尔1514.68138 McIver,Annabelle(编辑)等人,《系统的定量评估》。2018年9月4日至7日,第15届QEST国际会议,中国北京。诉讼程序。查姆:斯普林格。莱克特。票据计算。科学。11024, 223-239 (2018).MSC公司:60年第68季度 68问题85 91A15型 PDF格式BibTeX公司 XML格式引用 \textit{M.Kwiatkowska}等人,Lect。票据计算。科学。11024、223--239(2018;Zbl 1514.68138) 全文: 内政部 链接
克里斯特尔·拜尔;卢卡·德·阿尔法罗;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) 全文: 内政部
北巴塞特。;Kwiatkowska,M。;Wiltsche,C。 多目标随机博弈的合成策略综合。 (英语) Zbl 1395.68265号 Inf.计算。 261,第3部分,536-587(2018).MSC公司:68T40型 60年第68季度 91A15型 PDF格式BibTeX公司 XML格式引用 \textit{N.Basset}等人,《信息计算》。261,第3部分,536--587(2018;Zbl 1395.68265) 全文: 内政部 链接
亚历山大·约万诺维奇;玛尔塔·奎亚特科夫斯卡 基于随机博弈抽象的概率时间自动机参数综合。 (英语) 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) 全文: 内政部
卢卡·卡德利;科什卡,米兰;Fränzle,马丁;玛尔塔·奎亚特科夫斯卡;卢卡·劳伦蒂;尼古拉·保莱蒂;马克斯·惠特比 化学反应网络的句法引导优化合成。 (英语) Zbl 1494.68163号 Majumdar,Rupak(编辑)等人,《计算机辅助验证》。2017年7月24日至28日在德国海德堡举行的2017年CAV第29届国际会议。诉讼程序。第二部分。查姆:斯普林格。莱克特。票据计算。科学。10427, 375-395 (2017).MSC公司:60年第68季度 92C40型 PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}等人,Lect。票据计算。科学。10427375--395(2017年;Zbl 1494.68163) 全文: 内政部 链接
黄晓伟;玛尔塔·奎亚特科夫斯卡;王森(Wang,Sen);吴敏 深度神经网络的安全性验证。 (英语) Zbl 1494.68166号 Majumdar,Rupak(编辑)等人,《计算机辅助验证》。2017年7月24日至28日在德国海德堡举行的2017年CAV第29届国际会议。诉讼程序。第一部分查姆:施普林格。莱克特。票据计算。科学。10426, 3-29 (2017).MSC公司:60年第68季度 68T07型 68T45型 PDF格式BibTeX公司 XML格式引用 \textit{X.Huang}等人,Lect。票据计算。科学。10426,3--29(2017;Zbl 1494.68166) 全文: 内政部 arXiv公司
玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克 线性定价概率时间自动机的符号验证和策略综合。 (英语) Zbl 1431.68066号 Aceto,Luca(编辑)等人,《模型、算法、逻辑和工具》。纪念金·古德斯特兰·拉森60岁生日的文章。查姆:斯普林格。莱克特。票据计算。科学。10460, 289-309 (2017).MSC公司:60年第68季度 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Kwiatkowska}等人,Lect。票据计算。科学。10460289--309(2017年;Zbl 1431.68066) 全文: 内政部 链接
克里斯·奇尔顿;玛尔塔·奎亚特科夫斯卡;法隆·莫勒;王旭 实时过程的规范理论。 (英语) Zbl 1486.68103号 Gibson-Robinson,Thomas(编辑)等人,《并发、安全和谜题》。在安德鲁·威廉·罗斯科60岁生日之际为他撰写的论文。查姆:斯普林格。莱克特。票据计算。科学。10160, 18-38 (2017).MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{C.Chilton}等人,Lect。票据计算。科学。10160,18-38(2017;Zbl 1486.68103) 全文: 内政部
玛尔塔·奎亚特科夫斯卡 人机交互中的认知推理和信任。 (英语) Zbl 1435.68331号 Gopal,T.V.(编辑)等人,《计算模型的理论和应用》。2017年4月20日至22日在瑞士伯尔尼举行的2017年TAMC第14届年会。诉讼程序。查姆:斯普林格。莱克特。票据计算。科学。10185, 3-11 (2017).MSC公司:68T40型 60年第68季度 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{M.Kwiatkowska},莱克特。票据计算。科学。10185,3--11(2017;Zbl 1435.68331) 全文: 内政部 链接
亚历山大·约万诺维奇;玛尔塔·奎亚特科夫斯卡;格钦·诺曼;佩拉斯、昆廷 概率时间自动机的符号最优期望时间可达性计算和控制器综合。 (英语) 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(编辑)等人,《系统的定量评估》。2016年8月23日至25日,第13届国际会议,QEST 2016,加拿大魁北克市。诉讼程序。查姆:施普林格(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) 全文: 内政部 链接
Marta Z.Kwiatkowska。 随机博弈的模型检验和策略合成:从理论到实践(邀请演讲)。 (英语) Zbl 1388.68186号 Chatzigiannakis,Ioannis(编辑)等人,第43届自动化、语言和编程国际学术讨论会,2016年ICALP,意大利罗马,2016年7月12-15日。诉讼程序。瓦登:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-95977-013-2)。LIPIcs–Leibniz International Proceedings in Informatics 55,Article 4,18 p.(2016)。MSC公司:60年第68季度 03B44号 91A15型 PDF格式BibTeX公司 XML格式引用 \textit{M.Z.Kwiatkowska},LIPIcs——莱布尼茨国际程序。通知。55,第4条,第18页(2016年;Zbl 1388.68186) 全文: 内政部
巴伯,贝诺;玛尔塔·奎亚特科夫斯卡;亚历山大·梅雷克莱;尼古拉·保莱蒂 根据可执行的定时I/O自动机规范构建功耗模型。 (英语) Zbl 1366.68196号 第19届ACM混合系统国际会议论文集:计算与控制,2016年HSCC,奥地利维也纳,2016年4月12-14日。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-3955-1)。195-204 (2016).MSC公司:68问题85 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Barbot}等人,《第19届ACM混合系统国际会议论文集:计算与控制》,HSCC 2016,奥地利维也纳,2016年4月12-14日。纽约州纽约市:计算机协会(ACM)。195-204(2016年;Zbl 1366.68196) 全文: 内政部
Dannenberg,弗里茨;玛尔塔·奎亚特科夫斯卡;克里斯·塔丘克;安德鲁·J·特伯菲尔德(Andrew J.Turberfield)。 DNA行走电路:计算潜力、设计和验证。 (英语) Zbl 1415.68078号 自然计算。 14,第2期,195-211(2015).MSC公司:2005年第68季度 60年第68季度 68单位07 94立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{F.Dannenberg}等人,《自然计算》。14,编号2195-211(2015;兹bl 1415.68078) 全文: 内政部
亚历山德罗·阿巴特;卢博什·布里姆;科什卡,米兰;玛尔塔·奎亚特科夫斯卡 马尔可夫链的自适应聚合:化学反应网络的定量分析。 (英语) Zbl 1381.68140号 Kroening,Daniel(编辑)等人,《计算机辅助验证》。2015年7月18日至24日,第27届国际会议,CAV 2015,美国加利福尼亚州旧金山。诉讼程序。第一部分:查姆:施普林格(ISBN 978-3-319-21689-8/pbk;978-3-3169-21690-4/电子书)。计算机科学讲座笔记9206195-213(2015)。MSC公司:60年第68季度 60J22型 92E20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Abate}等人,Lect。票据计算。科学。9206195-213(2015;Zbl 1381.68140) 全文: 内政部
Dannenberg,弗里茨;恩斯特·莫里茨·哈恩;玛尔塔·奎亚特科夫斯卡 使用快速自适应均匀化计算累积奖励。 (英语) Zbl 1369.65014号 ACM事务处理。模型。计算。模拟。 25,第2号,第9条,第23页(2015年).MSC公司:65立方厘米 60J28型 65C20个 60年第68季度 92D20型 92E20型 PDF格式BibTeX公司 XML格式引用 \textit{F.Dannenberg}等人,《美国医学杂志》。模型。计算。模拟。25,第2号,第9条,23页(2015年;Zbl 1369.65014) 全文: 内政部
巴伯,贝诺;玛尔塔·奎亚特科夫斯卡 使用随机Petri网对DNA步行电路进行定量建模和验证。 (英语) Zbl 1432.68144号 Devillers,Raymond(编辑)等人,Petri网和并发的应用和理论。第36届国际会议,PETRI NETS 2015,比利时布鲁塞尔,2015年6月21日至26日,会议记录。查姆:斯普林格。莱克特。票据计算。科学。9115, 1-32 (2015).MSC公司:2007年第68季度 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{B.Barbot}和\textit{M.Kwiatkowska},莱克特。票据计算。科学。9115,1--32(2015;Zbl 1432.68144) 全文: 内政部
克劳斯·阿格博士;Forejt,Vojtěch公司;玛尔塔·奎亚特科夫斯卡;大卫·帕克;马特乌斯·乌玛 概率系统的允许控制器综合。 (英语) Zbl 1391.68076号 日志。方法计算。科学。 11,第2号,第16号论文,34页(2015).MSC公司:60年第68季度 65年第68季度 91A15型 93亿B50 93E03型 PDF格式BibTeX公司 XML格式引用 \textit{K.Dräger}等人,日志。方法计算。科学。11,第2号,第16号论文,34页(2015;Zbl 1391.68076) 全文: 内政部 arXiv公司
托马斯·布拉兹迪尔;克里希南德·查特吉;马丁·奇梅利克;Forejt,Vojtěch公司;简·Křetínsk;玛尔塔·奎亚特科夫斯卡;大卫·帕克;马特乌斯·乌玛 使用学习算法验证马尔可夫决策过程。 (英语) Zbl 1448.68290号 Cassez,Franck(编辑)等人,《用于验证和分析的自动化技术》。2014年11月3日至7日,澳大利亚新南威尔士州悉尼,2014年亚洲电视协会第12届国际研讨会。诉讼程序。柏林:斯普林格。莱克特。票据计算。科学。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 1360.68608号 西奥。计算。科学。 549, 146-174 (2014).MSC公司:70年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Chilton}等人,Theor。计算。科学。549、146--174(2014年;Zbl 1360.68608) 全文: 内政部
陈、陶璐;马尔科·迪西奥拉;玛尔塔·奎亚特科夫斯卡;亚历山大·梅雷克莱 混合心脏模型上植入式心脏起搏器的定量验证。 (英语) Zbl 1311.92100号 Inf.计算。 236, 87-101 (2014).MSC公司:92 C50 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Chen}等人,《信息计算》。23687--101(2014年;Zbl 1311.92100) 全文: 内政部
克劳斯·阿格博士;玛尔塔·奎亚特科夫斯卡;大卫·帕克;曲洪阳 概率定时程序的局部抽象精化。 (英语) 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 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 1464.68205号 Bortolussi,Luca(编辑)等人,《第十一届编程语言和系统定量方面国际研讨会论文集》,意大利罗马,2013年3月23日至24日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)117,66-80(2013年)。MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Han}等人,《电子》。程序。西奥。计算。科学。(EPTCS)117、66--80(2013;Zbl 1464.68205) 全文: arXiv公司 链接
陈、陶璐;马尔科·迪西奥拉;玛尔塔·奎亚特科夫斯卡;亚历山大·梅雷克莱 连续时间马尔可夫链上线性持续时间特性的验证。 (英语) 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) 全文: 内政部
Dannenberg,弗里茨;玛尔塔·奎亚特科夫斯卡;克里斯·塔丘克;安德鲁·J·特伯菲尔德(Andrew J.Turberfield)。 DNA行走电路:计算潜力、设计和验证。 (英语) Zbl 1409.68099号 Soloveichik,David(编辑)等人,《DNA计算和分子编程》。第19届国际会议,DNA 19,美国亚利桑那州坦佩,2013年9月22日至27日。诉讼程序。柏林:斯普林格。莱克特。票据计算。科学。8141, 31-45 (2013).MSC公司:2005年第68季度 2010年第68季度 60年第68季度 92C40型 PDF格式BibTeX公司 XML格式引用 \textit{F.Dannenberg}等人,Lect。票据计算。科学。8141、31-45(2013年;Zbl 1409.68099) 全文: 内政部
克里斯特尔·拜尔(编辑);玛尔塔·奎亚特科夫斯卡(编辑) 概率模型检验专题前言。 (英语) 兹比尔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) 全文: 内政部
玛尔塔·奎亚特科夫斯卡 普适计算定量验证的进展。 (英语) Zbl 1405.68186号 Liu,Zhiming(编辑)等人,《计算的理论方面——ICTAC 2013》。第十届国际学术讨论会,中国上海,2013年9月4-6日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-39717-2/pbk)。计算机科学课堂讲稿8049,42-58(2013)。MSC公司:60年第68季度 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kwiatkowska},莱克特。票据计算。科学。8049,42-58(2013;Zbl 1405.68186) 全文: 内政部
陈、陶璐;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) 全文: 内政部
陈、陶璐;马尔科·迪西奥拉;玛尔塔·奎亚特科夫斯卡;亚历山大·梅雷克莱 连续时间马尔可夫链上线性持续时间特性的验证。 (英语) Zbl 1361.68139号 第15届ACM混合系统国际会议论文集:计算与控制,2012年HSCC,中国北京,2012年4月17日至19日。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-1220-2)。265-274 (2012).MSC公司:60年第68季度 60J27型 PDF格式BibTeX公司 XML格式引用 \textit{T.Chen}等人,载于:第15届ACM混合系统国际会议论文集:计算与控制,HSCC 2012,中国北京,2012年4月17日至19日。纽约州纽约市:计算机协会(ACM)。265--274(2012;Zbl 1361.68139) 全文: 内政部
玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克 赫尔曼自稳定算法的概率验证。 (英语) Zbl 1259.68130号 正式Asp。计算。 24,第4-6号,661-670(2012).MSC公司:60年第68季度 68米15 PDF格式BibTeX公司 XML格式引用 \textit{M.Kwiatkowska}等人,正式Asp。计算。24、编号4--6661--670(2012;Zbl 1259.68130) 全文: 内政部
克里斯·奇尔顿;玛尔塔·奎亚特科夫斯卡;王旭 重新审视时间规范理论:线性时间视角。 (英语) Zbl 1374.68274号 Jurdziñski,Marcin(ed.)等人,时间系统的形式化建模和分析。2012年9月18日至20日,第十届国际会议,FORMATS 2012,英国伦敦。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-33364-4/pbk)。计算机科学课堂讲稿7595,75-90(2012)。MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Chilton}等人,Lect。票据计算。科学。7595,75-90(2012年;Zbl 1374.68274) 全文: 内政部 arXiv公司
Forejt,Vojtěch公司;玛尔塔·奎亚特科夫斯卡;大卫·帕克 概率模型检查的Pareto曲线。 (英语) Zbl 1374.68285号 Chakraborty,Supratik(编辑)等人,《验证和分析自动化技术》。2012年10月3日至6日,印度第十届国际研讨会,2012年ATVA,Thiruvananthapuram。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-3385-9/pbk)。《计算机科学讲义》7563117-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 1352.68149号 Seidl,Helmut(编辑),《编程语言和系统》。2012年3月24日至4月1日,作为欧洲软件理论和实践联席会议的一部分,在爱沙尼亚塔林举行了第21届欧洲编程研讨会,ESOP 2012。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-28868-5/pbk)。计算机科学讲义7211,148-168(2012)。MSC公司:60年第68季度 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{T.Chen}等人,Lect。票据计算。科学。7211,148--168(2012;Zbl 1352.68149) 全文: 内政部
冯、鲁;韩婷婷;玛尔塔·奎亚特科夫斯卡;大卫·帕克 同步概率系统基于学习的组合验证。 (英语) 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进行有时限的验证。 (英语) 兹比尔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) 全文: 内政部
玛尔塔·奎亚特科夫斯卡;阿莱西奥·洛穆西奥;曲洪阳 时间认知逻辑的并行模型检查。 (英语) 兹比尔1211.68406 Coelho,Helder(编辑)等人,ECAI 2010。第19届欧洲人工智能会议,2010年8月16日至20日,葡萄牙里斯本。包括第六届著名的人工智能应用程序(PAIS-2010)。阿姆斯特丹:IOS出版社(ISBN 978-1-60750-605-8/pbk;978-1-60750-606-5/ebook)。《人工智能与应用前沿》215543-548(2010)。MSC公司:68T27型 03B42号 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kwiatkowska}等人,前面。Artif公司。智力。申请。215543-548(2010年;Zbl 1211.68406) 全文: 内政部
玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克 用时间和概率验证软件的框架。 (英语) Zbl 1290.68035号 Chatterjee,Krishnendu(编辑)等人,定时系统的形式建模和分析。第八届国际会议,FORMATS 2010,奥地利克洛斯特内堡,2010年9月8-10日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-15296-2/pbk)。计算机科学课堂讲稿6246,25-45(2010)。MSC公司:68号30 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{M.Kwiatkowska}等人,Lect。票据计算。科学。6246,25-45(2010年;Zbl 1290.68035) 全文: 内政部 哈尔
玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克;曲洪阳 概率系统的假设保证验证。 (英语) Zbl 1284.68406号 Esparza,Javier(编辑)等人,《系统构建和分析的工具和算法》。2010年3月20日至28日在塞浦路斯帕福斯举行的第16届国际会议(TACAS 2010)是欧洲软件理论与实践联合会议(ETAPS 2010)的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-12001-5/pbk)。计算机科学课堂讲稿6015,23-37(2010)。MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kwiatkowska}等人,Lect。票据计算。科学。6015、23-37(2010年;Zbl 1284.68406) 全文: 内政部
玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克 概率时间自动机验证的随机博弈。 (英语) Zbl 1262.68125号 Ouaknine,Joöl(编辑)等,时间系统的形式化建模和分析。第七届国际会议,FORMATS 2009,匈牙利布达佩斯,2009年9月14日至16日。诉讼程序。柏林:施普林格出版社(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) 全文: 内政部
Mark Kattenbelt公司;玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克 概率软件的抽象精化。 (英语) Zbl 1206.68090号 Jones,Neil D.(编辑)等人,《验证、模型检查和抽象解释》。2009年1月18日至20日,第十届国际会议,VMCAI 2009,美国佐治亚州萨凡纳。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-93899-6/pbk)。计算机科学讲义5403,182-197(2009)。MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.Kattenbelt}等人,Lect。票据计算。科学。5403182-197(2009年;Zbl 1206.68090) 全文: 内政部
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 1161.68565号 日志。方法计算。科学。 4,第4期,论文8,21页(2008年).MSC公司:60年第68季度 90C29型 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{K.Etessami}等人,日志。方法计算。科学。4,第4期,论文8,21页(2008年;Zbl 1161.68565) 全文: 内政部
约翰·希思;玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克;俄克拉荷马州提姆希欣 复杂生物路径的概率模型检查。 (英语) Zbl 1133.68043号 西奥。计算。科学。 391,第3号,239-257(2008).MSC公司:60年第68季度 92C40型 92E20型 PDF格式BibTeX公司 XML格式引用 \textit{J.Heath}等人,Theor。计算。科学。391,第3号,239--257(2008;Zbl 1133.68043) 全文: 内政部 链接
玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克 随机模型检查。 (英语) 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) 全文: 内政部
王旭;玛尔塔·奎亚特科夫斯卡 异步电路的过程代数验证。 (英语) Zbl 1137.68456号 Penczek,Wojciech(编辑)等人,半个世纪的鼓舞人心的研究。向安东尼·马祖基维奇的科学影响力致敬。阿姆斯特丹:IOS出版社(ISBN 978-1-58603-805-2/pbk)。283-310 (2007).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{X.Wang}和\textit{M.Kwiatkowska},in:半个世纪的鼓舞人心的研究。向安东尼·马祖基维奇的科学影响力致敬。阿姆斯特丹:IOS出版社。283--310(2007;Zbl 1137.68456)
王旭;玛尔塔·奎亚特科夫斯卡 异步电路的过程代数验证。 (英语) Zbl 1128.68070号 芬丹。通知。 80,编号1-3,283-310(2007).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{X.Wang}和\textit{M.Kwiatkowska},Fundam。通知。80,编号1--3,283--310(2007;Zbl 1128.68070)
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) 全文: 内政部
玛尔塔·奎亚特科夫斯卡;格钦·诺曼;杰里米·斯普洛斯顿;王富之 概率时间自动机的符号模型检验。 (英语) Zbl 1122.68075号 Inf.计算。 205,第7期,1027-1077(2007).MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kwiatkowska}等人,《信息计算》。205,第7号,1027--1077(2007;Zbl 1122.68075) 全文: 内政部
马库斯·格勒;格钦·诺曼;克里斯特尔·拜尔;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 1188.68194号 Ball,Thomas(编辑)等人,《计算机辅助验证》。2006年8月17日至20日在美国华盛顿州西雅图举行的2006年CAV第18届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 3-540-37406-X/pbk)。计算机科学课堂讲稿4144234-248(2006)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kwiatkowska}等人,Lect。票据计算。科学。4144234--248(2006年;Zbl 1188.68194) 全文: 内政部
玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克;杰里米·斯普洛斯顿 使用数字时钟的概率时间自动机性能分析。 (英语) Zbl 1105.68063号 形式方法系统。设计。 29,第1期,33-78(2006).MSC公司:65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kwiatkowska}等人,《形式方法系统》。设计。29,第1号,第33--78条(2006;Zbl 1105.68063) 全文: 内政部 链接
Kwiatkowska,M。;G·诺曼。;A.帕切科。 模型检查具有随机时间边界的期望时间和期望报酬公式。 (英语) 兹比尔1104.68067 计算。数学。申请。 51,第2号,305-316(2006).MSC公司:60年第68季度 60J27型 PDF格式BibTeX公司 XML格式引用 \textit{M.Kwiatkowska}等人,计算。数学。申请。51,第2号,305-316(2006;Zbl 1104.68067) 全文: 内政部
Wang,X。;Kwiatkowska,M。;西奥多罗普洛斯,G。;张,Q。 面向异步硬件分层验证的统一CSP方法。 (英语) Zbl 1272.68278号 Huth,Michael R.A.(编辑),《关键系统自动验证第四次国际研讨会论文集》(AVoCS 2004),英国伦敦,2004年9月4日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》128,第6期,231-246(2005)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{X.Wang}等人,电子。注释Theor。计算。科学。128,第6号,231--246(2005;Zbl 1272.68278) 全文: 链接
王富之;玛尔塔·奎亚特科夫斯卡 基于MTBDD的概率时间自动机前向可达性实现。 (英语) Zbl 1170.68531号 Peled,Doron A.(编辑)等人,《验证和分析自动化技术》。2005年10月4日至7日,第三届国际研讨会,ATVA 2005,台湾台北。诉讼程序。柏林:施普林格出版社(ISBN 3-540-29209-8/pbk)。计算机科学课堂讲稿3707385-399(2005)。MSC公司:60年第68季度 2005年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Wang}和\textit{M.Kwiatkowska},Lect。票据计算。科学。3707385-399(2005年;兹比尔1170.68531) 全文: 内政部
格钦·诺曼;大卫·帕克;玛尔塔·奎亚特科夫斯卡;桑迪普·舒克拉;拉杰什·古普塔 使用概率模型检查进行动态电源管理。 (英语) Zbl 1080.68601号 正式Asp。计算。 第2160-176号第17页(2005年).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Norman}等人,正式Asp。计算。17,第2号,160--176(2005;Zbl 1080.68601) 全文: 内政部
哈坎·L·S·尤尼斯。;玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克 数值与统计概率模型检验:一项实证研究。 (英语) Zbl 1126.68490号 Jensen,Kurt(编辑)等人,《系统构建和分析的工具和算法》。2004年3月29日至4月2日在西班牙巴塞罗那举行的第十届国际会议TACAS 2004,作为软件理论与实践联合会议ETAPS 2004的一部分。诉讼程序。柏林:施普林格出版社(ISBN 3-540-21299-X/pbk)。计算机科学课堂讲稿298846-60(2004)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.L.S.Younes}等人,Lect。票据计算。科学。2988、46-60(2004年;Zbl 1126.68490) 全文: 内政部
玛尔塔·奎亚特科夫斯卡;格钦·诺曼;杰里米·斯普洛斯顿;王富之 概率时间自动机的符号模型检验。 (英语) Zbl 1109.68517号 Lakhnech,Yassine(编辑)等人,《定时和容错系统的形式化技术、建模和分析》。2004年9月22日至24日在法国格勒诺布尔举行的关于时间系统的正式建模和分析、FORMATS 2004以及实时和容错系统中的正式技术的联合国际会议,FTRTFT 2004。诉讼程序。柏林:施普林格出版社(ISBN 3-540-23167-6/pbk)。计算机科学课堂讲稿3253293-308(2004)。MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kwiatkowska}等人,Lect。票据计算。科学。3253、293--308(2004年;Zbl 1109.68517) 全文: 内政部
帕南加登,普拉卡什(编辑);弗兰克·范·布鲁格尔(编辑) [J.J.M.M.鲁顿。;玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克] 分析并发系统和概率系统的数学技术。 (英语) Zbl 1069.68074号 CRM专题系列23.普罗维登斯,RI:美国数学学会(AMS)(ISBN 0-8218-3571-8/hbk)。viii,215页。(2004年)。 审核人:亚历山德罗·杜西(贝加莫) MSC公司:60年第68季度 68问题85 60J10型 68卢比 03G25号 60J27型 68-02 PDF格式BibTeX公司 XML格式引用 \textit{P.Panangaden}(编辑)和textit{F.van Breugel}(编),分析并发和概率系统的数学技术。普罗维登斯,RI:美国数学学会(AMS)(2004;Zbl 1069.68074) 全文: 内政部
玛尔塔·奎亚特科夫斯卡;拉希德·迈赫穆德;格钦·诺曼;大卫·帕克 马尔可夫模型的符号离核求解方法。 (英语) 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) 全文: 链接
玛尔塔·奎亚特科夫斯卡;格钦·诺曼;杰里米·斯普洛斯顿 IEEE 802.11无线局域网协议的概率模型检查。 (英语) Zbl 1065.68583号 Hermanns,Holger(编辑)等人,《过程代数和概率方法》。性能建模和验证。2002年7月25日至26日,第二次联合国际研讨会,2002年PAPM-PROMMIV,丹麦哥本哈根。诉讼程序。柏林:施普林格出版社(ISBN 3-540-43913-7)。莱克特。票据计算。科学。2399, 169-187 (2002).MSC公司:60年第68季度 68M10个 68个M12 PDF格式BibTeX公司 XML格式引用 \textit{M.Kwiatkowska}等人,Lect。票据计算。科学。2399、169--187(2002年;Zbl 1065.68583) 全文: 链接
玛尔塔·奎亚特科夫斯卡;格钦·诺曼;安托尼奥·帕切科 模型检查CSL,直到公式具有随机时间界限。 (英语) Zbl 1065.68595号 Hermanns,Holger(编辑)等人,《过程代数和概率方法》。性能建模和验证。2002年7月25日至26日,第二次联合国际研讨会,2002年PAPM-PROMMIV,丹麦哥本哈根。诉讼程序。柏林:施普林格出版社(ISBN 3-540-43913-7)。莱克特。票据计算。科学。2399, 152-168 (2002).MSC公司:68问题85 60年第68季度 65立方厘米 68平方米 PDF格式BibTeX公司 XML格式引用 \textit{M.Kwiatkowska}等人,Lect。票据计算。科学。2399、152--168(2002年;Zbl 1065.68595) 全文: 链接
玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克 PRISM:概率符号模型检查器。 (英语) Zbl 1047.68533号 Field,Tony(编辑)等人,《计算机性能评估》。建模技术和工具。2002年4月14日至17日,第12届国际会议,TOOLS 2002,英国伦敦。诉讼程序。柏林:施普林格出版社(ISBN 3-540-43539-5)。莱克特。票据计算。科学。2324, 200-204 (2002).MSC公司:68平方米 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kwiatkowska}等人,Lect。票据计算。科学。2324200--204(2002;Zbl 1047.68533) 全文: 链接
玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克 PRISM概率符号模型检验:一种混合方法。 (英语) Zbl 1043.68576号 Katoen,Joost-Pieter(ed.)等人,《系统构建和分析的工具和算法》。第八届国际会议,TACAS 2002。2002年4月8日至12日,作为欧洲软件理论与实践联合会议的一部分,在法国格勒诺布尔举行。柏林:施普林格出版社(ISBN 3-540-43419-4)。莱克特。票据计算。科学。2280, 52-66 (2002).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kwiatkowska}等人,Lect。票据计算。科学。2280,52-66(2002年;兹比尔1043.68576) 全文: 链接
Joost-Pieter卡托恩;玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克 更快、符号化的CTMC模型检查。 (英语) 兹比尔1007.68517 De Alfaro,Luca(编辑)等人,过程代数和概率方法。性能建模和验证。2001年9月12日至14日在德国亚琛举行的2001年PAPM-PROBMIV联合国际研讨会。诉讼程序。柏林:斯普林格。莱克特。票据计算。科学。第2165、23-38页(2001年)。MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.-P.Katoen}等人,Lect。票据计算。科学。2165,23-38(2001;Zbl 1007.68517) 全文: 链接
玛尔塔·奎亚特科夫斯卡;格钦·诺曼;罗伯特·塞加拉 使用cadence SMV和PRISM自动验证随机分布式共识协议。 (英语) Zbl 0991.68503号 Berry,Gérard(编辑)等人,《计算机辅助验证》。2001年7月18日至22日,第13届国际会议,CAV 2001,法国巴黎。诉讼程序。柏林:斯普林格。莱克特。票据计算。科学。2102, 194-206 (2001).MSC公司:64岁以下 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kwiatkowska}等人,Lect。票据计算。科学。2102194-206(2001;Zbl 0991.68503) 全文: 链接
玛尔塔·奎亚特科夫斯卡;格钦·诺曼;罗伯特·塞加拉;杰里米·斯普洛斯顿 验证连续概率时间自动机的定量性质。 (英语) Zbl 0999.68125号 Palamidessi,Catuscia(编辑),CONCUR 2000-并发理论。2000年8月22日至25日,第11届国际会议,美国宾夕法尼亚州大学公园。诉讼程序。柏林:斯普林格。莱克特。票据计算。科学。1877, 123-137 (2000).MSC公司:60年第68季度 68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kwiatkowska}等人,Lect。票据计算。科学。1877,123-137(2000;Zbl 0999.68125)
卢卡·德·阿尔法罗;玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克;罗伯特·塞加拉 使用MTBDD和Kronecker表示对概率过程进行符号模型检查。 (英语) Zbl 0960.68109号 Graf,Susanne(编辑)等人,《系统构建和分析的工具和算法》。第六届国际会议,TACAS 2000。作为2000年3月25日至4月2日在德国柏林举行的欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林:斯普林格。莱克特。票据计算。科学。1785, 395-410 (2000).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.de Alfaro}等人,Lect。票据计算。科学。1785395-410(2000年;Zbl 0960.68109)
克里斯特尔·拜尔;玛尔塔·奎亚特科夫斯卡 具有公平性的概率分支时间逻辑的模型检查。 (英语) 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) 全文: 链接
克里斯特尔·拜尔;玛尔塔·奎亚特科夫斯卡 公平约束下概率过程定性性质的验证。 (英语) Zbl 1078.68664号 信息处理。莱特。 66,No.2,71-79(1998).MSC公司:60年第68季度 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}和\textit{M.Kwiatkowska},Inf.过程。莱特。66,第2号,71-79(1998年;兹bl 1078.68664) 全文: 内政部
克里斯特尔·拜尔;玛尔塔·奎亚特科夫斯卡;格钦·诺曼 计算并发概率系统上线性时间公式的概率界。 (英语) Zbl 0920.68084号 Baier,Christel(ed.)等人,1998年6月19日至20日在美国印第安纳州印第安纳波利斯举行的第一届概率方法验证国际研讨会(PROBMIV’98)会议记录(第十三届IEEE计算机科学逻辑国际研讨会的卫星活动,LICS’98)。阿姆斯特丹:爱思唯尔,《理论计算机科学电子笔记》。22,电子文件第5号,(1998年)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}等人,摘自:1998年6月19日至20日在美国印第安纳州印第安纳波利斯举行的第一届概率验证方法国际研讨会(PROBMIV’98)会议记录(第十三届IEEE计算机科学逻辑国际研讨会卫星活动,LICS’98)。阿姆斯特丹:爱思唯尔。电子文件编号5(1998;Zbl 0920.68084) 全文: 链接
克里斯特尔·拜尔;埃德蒙·克拉克(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) 全文: 内政部 链接
克里斯特尔·拜尔;玛尔塔·奎亚特科夫斯卡 关于时间属性的拓扑层次。 (英语) Zbl 0887.68032号 Peled,Doron A.(编辑)等人,《验证中的偏序方法》。DIMACS研讨会,1996年7月24日至26日,美国新泽西州普林斯顿市普林斯顿大学。普罗维登斯,RI:AMS,美国数学学会。DIMACS系列。离散数学。西奥。计算。科学。29, 141-170 (1997).MSC公司:2005年第68季度 60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}和\textit{M.Kwiatkowska},DIMACS,Ser。离散数学。西奥。计算。科学。29、141--170(1997年;Zbl 0887.68032)
Kwiatkowska,M。;D.贝利德。;彭泽克,W。 部分顺序时间属性的层次结构。 (英语) Zbl 0949.68537号 Gabbay,Dov M.(编辑)等人,《时间逻辑》。1994年7月11日至14日在德国波恩举行的1994年国际刑事法庭第一届国际会议。诉讼程序。柏林:斯普林格。莱克特。票据计算。科学。827, 398-414 (1994).MSC公司:60年第68季度 第68季度55 03B44号 65年第68季度 05年5月54日 PDF格式BibTeX公司 XML格式引用 \textit{M.Kwiatkowska}等人,Lect。票据计算。科学。827398-414(1994年;Zbl 0949.68537)
Marta Z.Kwiatkowska。 关于行为特性的拓扑特征。 (英语) Zbl 0744.54020号 计算机科学中的拓扑和范畴理论。Conf.,牛津/英国1989,153-177(1991)。 审核人:P.van Emde Boas(阿姆斯特丹) MSC公司:54小时99 第68季度55 06B30号 03B70号 54A20型 60年第68季度 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Z.Kwiatkowska},in:拓扑、计算机科学和收敛数学。153--177(1991年;Zbl 0744.54020)
卡齐米尔兹·乔奇克;玛尔塔·奎亚特科夫斯卡 操作系统屏幕编辑器的正式模型。 (波兰语。英文摘要) 兹比尔0577.68044 泽兹。恶心。唯一。贾杰伦。,优先信息。 2,47-59(1985年).MSC公司:第68页第25页 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{K.Jojczyk}和\textit{M.Kwiatkowska},Zesz。恶心。唯一。贾吉尔。,Pr.Inf.764(2),47-59(1985;Zbl 0577.68044)