玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克;加布里埃尔·桑托斯 并发随机系统的自动验证。 (英语) 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公司
北巴塞特。;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 1347.93240号 欧洲药典控制 30, 15-30 (2016).MSC公司:93E03型 91A15型 93亿B50 90C29型 PDF格式BibTeX公司 XML格式引用 \textit{M.Svoreňová}和\textit{M.Kwiatkowska},《欧洲期刊控制》30,15-30(2016;Zbl 1347.93240) 全文: 内政部