×

找到95个文档（结果1-95）

最新的 引文 关联
玛尔塔·奎亚特科夫斯卡；格钦·诺曼；大卫·帕克；加布里埃尔·桑托斯

基于回合的随机博弈的符号验证和策略综合。 （英语） 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 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公司 链接
Kwiatkowska，Marta Z。

具有可证明保证的深度神经网络的安全验证（特邀论文）。 （英语） Zbl 07649909号

Fokkink，Wan（编辑）等人，第30届并发理论国际会议，CONCUR 2019，荷兰阿姆斯特丹，2019年8月27日至30日。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。140，第1条，第5页（2019年）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{M.Z.Kwiatkowska}，LIPIcs——莱布尼茨国际程序。通知。140，第1条，第5页（2019年；Zbl 07649909）
全文： 内政部
黄晓伟；玛尔塔·奎亚特科夫斯卡；马西耶·奥列尼克

随机多智能体系统中认知信任的推理。 （英语） 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公司 链接
纳塔利·考奇；卢卡·劳伦蒂；莫特萨·拉希贾尼安；亚历山德罗·阿巴特；玛尔塔·奎亚特科夫斯卡；卢卡·卡德利

通过不确定性提高效率：随机混合系统的可扩展形式综合。 （英语） 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公司
玛尔塔·奎亚特科夫斯卡；格钦·诺曼；大卫·帕克；加布里埃尔·桑托斯

并发随机游戏的自动验证。 （英语） Zbl 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）
全文： 内政部
卢卡·卡德利；科什卡，米兰；马丁·范策尔；玛尔塔·奎亚特科夫斯卡；卢卡·劳伦蒂；尼古拉·保莱蒂；马克斯·惠特比

化学反应网络的句法引导优化合成。 （英语） 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 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）
全文： 内政部 链接
Kwiatkowska，Marta Z。

随机博弈的模型检验和策略合成：从理论到实践（邀请演讲）。 （英语） 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年；兹比尔1366.68196）
全文： 内政部
Dannenberg，弗里茨；玛尔塔·奎亚特科夫斯卡；克里斯·塔楚克；安德鲁·J·特伯菲尔德（Andrew J.Turberfield）。

DNA行走电路：计算潜力、设计和验证。 （英语） Zbl 1415.68078号

自然计算。 14，第2期，195-211（2015）.
MSC公司：2005年第68季度 60年第68季度 68单位07 94立方厘米10
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日，澳大利亚新南威尔士州悉尼，第十二届国际研讨会，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 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季度 第68季度10 60年第68季度 92C40型
PDF格式BibTeX公司 XML格式引用
\textit{F.Dannenberg}等人，Lect。注释计算。科学。8141、31-45（2013年；Zbl 1409.68099）
全文： 内政部
陈、陶璐；Forejt，Vojtěch公司；玛尔塔·奎亚特科夫斯卡；大卫·帕克；西马提斯，艾斯蒂斯

竞争随机系统的自动验证。 （英语） Zbl 1291.68252号

形式方法系统。设计。 43，第1期，61-92（2013）.
MSC公司：60年第68季度 87年第68季度 第91页第15页 03B44号 03B48号
PDF格式BibTeX公司 XML格式引用
\textit{T.Chen}等人，《形式方法系统》。设计。43，第1号，61-92（2013；Zbl 1291.68252）
全文： 内政部 链接
玛尔塔·奎亚特科夫斯卡

普适计算定量验证的进展。 （英语） Zbl 1405.68186号

Liu，Zhiming（ed.）等人，《计算的理论方面——ICTAC 2013》。第十届国际学术讨论会，中国上海，2013年9月4-6日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-39717-2/pbk）。计算机科学课堂讲稿8049，42-58（2013）。
MSC公司：60年第68季度 第68季度10
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 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 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）。计算机科学课堂讲稿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 1352.68149号

Seidl，Helmut（编辑），《编程语言和系统》。2012年3月24日至4月1日在爱沙尼亚塔林举行的第21届欧洲编程研讨会（ESOP 2012）是欧洲软件理论与实践联合会议（ETAPS 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进行有时限的验证。 （英语） 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立方厘米 第91页第15页 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 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）
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 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）
全文： 内政部
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）
全文： 内政部
哈坎·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年PAPM-PROBMIV第二次联合国际研讨会，丹麦哥本哈根，2002年7月25-26日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-43913-7）。莱克特。注释计算。科学。2399, 169-187 (2002).
MSC公司：60年第68季度 68米10 68个M12
PDF格式BibTeX公司 XML格式引用
\textit{M.Kwiatkowska}等人，Lect。注释计算。科学。2399、169--187（2002年；Zbl 1065.68583）
全文： 链接
玛尔塔·奎亚特科夫斯卡；格钦·诺曼；安托尼奥·帕切科

模型检查CSL，直到公式具有随机时间界限。 （英语） Zbl 1065.68595号

Hermanns，Holger（编辑）等人，《过程代数和概率方法》。性能建模和验证。2002年PAPM-PROBMIV第二次联合国际研讨会，丹麦哥本哈根，2002年7月25-26日。诉讼程序。柏林：施普林格出版社（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）
全文： 链接
玛尔塔·奎亚特科夫斯卡；格钦·诺曼；大卫·帕克

概率符号模型检查器。 （英语） 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模型检查。 （英语） Zbl 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 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）
全文： 链接
克里斯特尔·拜尔（编辑）；哈，迈克尔（编辑）；玛尔塔·奎亚特科夫斯卡（编辑）；马克·瑞恩（编辑）

1998年6月19日至20日在美国印第安纳州印第安纳波利斯举行的第一届概率验证方法国际研讨会（PROBMIV’98）会议记录（第13届IEEE计算机科学逻辑国际研讨会的卫星活动，LICS’98）。 （英语） Zbl 0920.00045号

理论计算机科学电子笔记. 22. 阿姆斯特丹：Elsevier，10篇论文（电子版）（1998年）。
MSC公司：00B25型 68-06
PDF格式BibTeX公司 XML格式引用
\textit{C.Baier}（ed.）等人，1998年6月19日至20日在美国印第安纳州印第安纳波利斯举行的第一届概率验证方法国际研讨会（PROBMIV’98）会议记录（第十三届IEEE计算机科学逻辑国际研讨会卫星活动，LICS’98）。阿姆斯特丹：Elsevier（1998；Zbl 0920.00045）
克里斯特尔·拜尔；埃德蒙·克拉克（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）

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件