亚历克桑德拉·约瓦诺维奇;玛尔塔·奎亚特科夫斯卡 基于随机博弈抽象的概率时间自动机参数综合。 （英语） Zbl 1393.68096号 西奥。计算。科学。 735, 64-81 (2018).MSC公司：65年第68季度 第68季度第60季度 87年第68季度 91A15型 PDF格式BibTeX公司 XML格式引用 \textit｛A.Jovanović｝和\textit｛M.Kwiatkowska｝，Theor。计算。科学。735，64-81（2018；Zbl 1393.68096） 全文： 内政部
卢卡·劳伦蒂;亚历山德罗·阿巴特;卢卡·博托卢西;卢卡·卡德利;塞斯卡，米兰;玛尔塔·奎亚特科夫斯卡 切换扩散的可达性计算，有限抽象，具有可验证和可调整的精度。 （英语） Zbl 1369.93728号 2017年4月18日至20日，美国宾夕法尼亚州匹兹堡，2017年HSCC，第20届ACM混合系统国际会议论文集：计算与控制。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-4590-3）。55-64 (2017).MSC公司：93E25型 60 H10型 93个B03 60J10型 PDF格式BibTeX公司 XML格式引用 \textit{L.Laurenti}等人，《第20届ACM混合系统国际会议论文集：计算与控制》，HSCC 2017，匹兹堡，宾夕法尼亚州，美国，2017年4月18-20日。纽约州纽约市：计算机协会（ACM）。55-64（2017年；Zbl 1369.93728） 全文： 内政部
陈、陶璐;韩婷婷;玛尔塔·奎亚特科夫斯卡 关于区间值离散时间马尔可夫链模型检验的复杂性。 （英语） Zbl 1259.68150号 信息处理。莱特。 113，第7号，210-216（2013）.MSC公司：87年第68季度 第68季度第60季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Chen}等人，《Inf.过程》。莱特。113，编号7，210--216（2013；Zbl 1259.68150） 全文： 内政部