玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克;加布里埃尔·桑托斯 并发随机系统的自动验证。 （英语） 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公司 OA许可证
玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克;加布里埃尔·桑托斯 并发随机游戏的自动验证。 （英语） 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） 全文： 内政部 链接
马里亚·斯沃雷奥娃;玛尔塔·奎亚特科夫斯卡 随机博弈的定量验证与策略综合。 （英语） Zbl 1347.93240号 欧洲药典控制 30, 15-30 (2016).MSC公司：93电子03 91A15型 93亿B50 90C29型 PDF格式BibTeX公司 XML格式引用 \textit{M.Svoreňová}和\textit{M.Kwiatkowska}，《欧洲期刊控制》30，15-30（2016；Zbl 1347.93240） 全文： 内政部 OA许可证