玛尔塔·奎亚特科夫斯卡；格钦·诺曼；大卫·帕克；加布里埃尔·桑托斯 基于回合的随机博弈的符号验证和策略综合。 （英语） 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公司
道格拉斯·弗雷泽；鲁本·贾昆塔；鲁思·霍夫曼；爱尔兰，穆雷；爱丽丝·米勒；格钦·诺曼 自治系统控制器综合的协作模型。 （英语） 兹比尔1458.68219 正式Asp。计算。 32，编号2-3，157-186（2020）.MSC公司：68T40型 60年第68季度 93甲16 93亿B50 93C85号 PDF格式BibTeX公司 XML格式引用 \textit{D.Fraser}等人，正式Asp。计算。32，编号2--3，157-186（2020；Zbl 1458.68219） 全文： 内政部
格钦·诺曼；大卫·帕克；杰里米·斯普洛斯顿 概率时间自动机的模型检查。 （英语） Zbl 1291.68265号 形式方法系统。设计。 43，第2期，164-190（2013）.MSC公司：60年第68季度 87年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Norman}等人，《形式方法系统》。设计。43，第2号，164--190（2013；Zbl 1291.68265） 全文： 内政部 链接
玛尔塔·奎亚特科夫斯卡；格钦·诺曼；大卫·帕克；曲洪阳 通过多目标模型检查进行组合概率验证。 （英语） 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） 全文： 内政部
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 1183.68400号 西奥。计算。科学。 410，编号12-13，1272-1303（2009）.MSC公司：68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kwiatkowska}等人，Theor。计算。科学。410，编号12--131272--1303（2009；Zbl 1183.68400） 全文： 内政部 链接
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 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） 全文： 内政部
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） 全文： 内政部