Dimitar P.Guelev。 在交替时间逻辑中提炼战略能力。 (英语) Zbl 1370.68204号 Inf.计算。 254,第2部分,316-328(2017).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{D.P.Guelev},Inf.计算。254,第2部分,316-328(2017;Zbl 1370.68204) 全文: DOI程序
克里希南德·查特吉;劳伦特·多恩;艾曼纽·菲利奥特;Jean-François拉斯金 欧米茄规则游戏的末日平衡。 (英语) Zbl 1370.68164号 Inf.计算。 254,第2部分,296-315(2017).MSC公司:65年第68季度 91A43型 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}等人,《信息计算》。254,第2部分,296-315(2017;兹bl 1370.68164) 全文: DOI程序 arXiv公司
维罗尼克·布鲁埃;艾曼纽·菲利奥特;米凯尔·兰多尔;Jean-François拉斯金 保证满足您的期望:超越定量游戏中的最坏情况合成。 (英语) Zbl 1371.91022号 Inf.计算。 254,第2部分,259-295(2017).MSC公司:91A43型 91A05型 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{V.Bruyère}等人,《信息计算》。254,第2部分,259--295(2017;Zbl 1371.91022) 全文: DOI程序 链接
帕特里夏·鲍耶;尼古拉斯·马基;Steen背心 部分观测对称图对策中的纳什均衡。 (英语) Zbl 1371.91021号 Inf.计算。 254,第2部分,238-258(2017).MSC公司:91A43型 91A06型 91A10号 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人,《信息计算》。254,第2部分,238--258(2017;Zbl 1371.91021) 全文: DOI程序 arXiv公司 链接
迪特马尔·伯旺格;阿努普·巴兹尔·马修 具有有限知识缺口的无限游戏。 (英语) Zbl 1371.91020号 Inf.计算。 254,第2部分,217-237(2017).MSC公司:91A43型 05第57页 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Berwanger}和\textit{A.B.Mathew},信息计算。254,第2部分,217--237(2017;Zbl 1371.91020) 全文: DOI程序 arXiv公司
本杰明·阿米诺夫;萨沙·鲁宾 第一循环游戏。 (英语) Zbl 1371.91019号 Inf.计算。 254,第2部分,195-216(2017).MSC公司:91A43型 05第57页 65年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{B.Aminof}和\textit{S.Rubin},Inf.Comput。254,第2部分,195--216(2017;Zbl 1371.91019) 全文: DOI程序 arXiv公司 链接
J·以西结。;A.Lomuscio。 结合故障注入和模型检查来验证多代理系统中的容错性、可恢复性和可诊断性。 (英语) Zbl 1370.68201号 Inf.计算。 254,第2部分,167-194(2017).MSC公司:60年第68季度 68个M12 68米15 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{J.Ezekiel}和\textit{A.Lomuscio},信息计算。254,第2部分,167--194(2017;Zbl 1370.68201) 全文: DOI程序 OA许可证
克里希南德·查特吉;托马斯·亨辛格(Thomas A.Henzinger)。;奥托普,简;纱线维纳 定量公平模拟游戏。 (英语) Zbl 1370.68165号 Inf.计算。 254,第2部分,143-166(2017).MSC公司:65年第68季度 65年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}等人,《信息计算》。254,第2部分,143--166(2017;Zbl 1370.68165) 全文: DOI程序
法比奥·莫加维罗(编辑);阿尼埃洛·穆拉诺(编辑);莫舍·瓦尔迪。(编辑) SR 2014特刊前言。 (英语) Zbl 1364.00047号 Inf.计算。 254,第2部分,141-142(2017).MSC公司:00B25型 68-06 91-06 65年第68季度 60年第68季度 91A43型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{F.Mogavero}(编辑)等人,《信息计算》。254,第2部分,141--142(2017;Zbl 1364.00047) 全文: DOI程序