阿帕扎·佩雷斯,W.A。;康巴斯特,C。;Walukiewicz,I。;A.穆斯科尔。;A.佐尔加德里。 使用部分信息的基于抽象的控制综合。 (英语) Zbl 1483.93177号 欧洲药典控制 63, 214-222 (2022).MSC公司:93亿B50 93亿B51 PDF格式BibTeX公司 XML格式引用 \textit{W.A.Apaza-Perez}等人,《欧洲期刊控制》63,214--222(2022;Zbl 1483.93177) 全文: 内政部
马里亚·斯沃雷奥娃;玛尔塔·奎亚特科夫斯卡 随机博弈的定量验证与策略综合。 (英语) 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) 全文: 内政部 OA许可证