Marta Z.Kwiatkowska。 随机博弈的模型检验和策略合成：从理论到实践（邀请演讲）。 （英语） Zbl 1388.68186号 Chatzigiannakis，Ioannis（编辑）等人，第43届自动化、语言和编程国际学术讨论会，2016年ICALP，意大利罗马，2016年7月12-15日。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-95977-013-2）。LIPIcs–Leibniz International Proceedings in Informatics 55，Article 4，18 p.（2016）。MSC公司：60年第68季度 03B44号 91A15型 PDF格式BibTeX公司 XML格式引用 \textit{M.Z.Kwiatkowska}，LIPIcs——莱布尼茨国际程序。通知。55，第4条，第18页（2016年；Zbl 1388.68186） 全文： 内政部
Forejt，Vojtěch公司;玛尔塔·奎亚特科夫斯卡;格钦·诺曼;阿舒托什·特里维迪 预期可达性-时间游戏。 （英语） Zbl 1339.68146号 西奥。计算。科学。 631, 139-160 (2016).MSC公司：65年第68季度 2010年第68季度 65年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit｛V.Forejt｝等人，Theor。计算。科学。63113-160（2016年；Zbl 1339.68146） 全文： 内政部 arXiv公司 OA许可证