沃伊切赫·贾姆罗加;比塔·科尼科夫斯卡;达米安·库皮耶夫斯基;沃伊切赫·彭泽克 战略能力的多值验证。 (英语) Zbl 1497.68307号 芬丹。通知。 175,编号1-4207-251(2020).MSC公司:第68季度第60季度 03B44号 第68页第42页 PDF格式BibTeX公司 XML格式引用 \textit{W.Jamroga}等人,Fundam。通知。175,编号1--4,207--251(2020;Zbl 1497.68307) 全文: 内政部
朱利安·古铁雷斯;穆罕默德·纳吉布;朱塞佩·佩雷利;迈克尔·伍尔德里奇 自动时间均衡分析:多层游戏的验证和合成。 (英语) Zbl 1493.68360号 Artif公司。智力。 287,文章ID 103353,26 p.(2020).MSC公司:第68页第42页 第68季度第60季度 91A06型 91A10号 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{J.Gutierrez}等人,Artif。智力。287,文章ID 103353,26 p.(2020;Zbl 1493.68360) 全文: 内政部 arXiv公司
沃伊切赫·贾姆罗加;瓦迪姆·马尔文;穆拉诺,阿尼洛 天生的战略能力。 (英语) 兹比尔1478.68385 Artif公司。智力。 277,文章ID 103170,33 p.(2019).MSC公司:第68页第42页 03B44号 第68季度第60季度 68问题85 91A26型 PDF格式BibTeX公司 XML格式引用 \textit{W.Jamroga}等人,Artif。智力。277,文章ID 103170,33 p.(2019;Zbl 1478.68385) 全文: 内政部 链接
朱利安·古铁雷斯;保罗·哈伦斯坦;迈克尔·伍尔德里奇 关于类游戏并发系统中平衡的推理。 (英语) Zbl 1400.03057号 Ann.纯粹应用。逻辑 168,第2号,373-403(2017). 审核人:马丁·兰格(卡塞尔) MSC公司:03B70号 03B44号 91个40个 68T27型 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Gutierrez}等人,Ann.Pure Appl。逻辑168,No.2,373--403(2017;Zbl 1400.03057) 全文: 内政部
马里亚·斯沃雷奥娃;玛尔塔·奎亚特科夫斯卡 随机博弈的定量验证与策略综合。 (英语) 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) 全文: 内政部