玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克;加布里埃尔·桑托斯 并发随机系统的自动验证。 （英语） Zbl 1505.68025号 表格方法系统。设计。 58，编号1-2，188-250（2021）.MSC公司：60年第68季度 第68季度85 87年第68季度 第91页第15页 PDF格式BibTeX公司 XML格式引用 \textit{M.Kwiatkowska}等人，《形式方法系统》。设计。58，编号1--2，188-250（2021；Zbl 1505.68025） 全文： 内政部 arXiv公司 OA许可证
玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克;加布里埃尔·桑托斯 并发随机博弈的基于均衡的概率模型检验。 （英语） Zbl 07817381号 ter Beek，Maurice H.（编辑）等人，《形式方法——未来30年》。第三届世界大会/第二十三届研讨会，2019年10月7日至11日，葡萄牙波尔图，FM 2019。诉讼程序。查姆：施普林格。莱克特。注释计算。科学。11800, 298-315 (2019).MSC公司：60年第68季度 第68季度85 第91页第15页 PDF格式BibTeX公司 XML格式引用 \textit{M.Kwiatkowska}等人，Lect。注释计算。科学。11800，298--315（2019；Zbl 07817381） 全文： 内政部 arXiv公司 链接
玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克;加布里埃尔·桑托斯 并发随机游戏的自动验证。 （英语） Zbl 1514.68138号 McIver，Annabelle（编辑）等人，《系统的定量评估》。2018年9月4日至7日，第15届QEST国际会议，中国北京。诉讼程序。查姆：施普林格。莱克特。注释计算。科学。11024, 223-239 (2018).MSC公司：60年第68季度 第68季度85 第91页第15页 PDF格式BibTeX公司 XML格式引用 \textit{M.Kwiatkowska}等人，Lect。注释计算。科学。11024、223--239（2018；Zbl 1514.68138） 全文： 内政部 链接