马西莫·贝内雷切蒂;丹尼尔·德尔尔巴;法比奥·莫加维罗 通过准自治权求解均值对价博弈。 (英语) Zbl 07825554号 Inf.计算。 297,文章ID 105151,25 p.(2024).MSC公司:91年68日 91A05型 91A43型 PDF格式BibTeX公司 XML格式引用 \textit{M.Benerecetti}等人,《信息计算》。297,文章ID 105151,25 p.(2024;Zbl 07825554) 全文: DOI程序 arXiv公司 OA许可证
马西莫·贝内雷切蒂;丹尼尔·德尔巴;法比奥·莫加维罗 通过准自治权求解均值对价博弈。 (英语) Zbl 1484.91004号 Biere,Armin(编辑)等人,《系统构建和分析的工具和算法》。第26届国际会议,TACAS 2020,作为欧洲软件理论与实践联合会议的一部分,于2020年4月25日至30日在爱尔兰都柏林举行。诉讼程序。第二部分。查姆:斯普林格。莱克特。注释计算。科学。12079, 289-306 (2020).MSC公司:91A05型 91A70型 PDF格式BibTeX公司 XML格式引用 \textit{M.Benerecetti}等人,Lect。注释计算。科学。12079、289--306(2020;Zbl 1484.91004) 全文: DOI程序 OA许可证
马西莫·贝内雷切蒂;丹妮尔·德尔巴;法比奥·莫加维罗 奇偶博弈算法的稳健最坏情况。 (英语) Zbl 1443.68067号 Inf.计算。 272,文章ID 104501,17 p.(2020).MSC公司:2017年第68季度 91A43型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{M.Benerecetti}等人,《信息计算》。272,文章ID 104501,17 p.(2020;Zbl 1443.68067) 全文: DOI程序
马西莫·贝内雷切蒂;丹尼尔·德尔尔巴;法比奥·莫加维罗 对等游戏的延迟促销政策。 (英语) Zbl 1400.68119号 Inf.计算。 262,第2部分,221-240(2018).MSC公司:60年第68季度 91A43型 PDF格式BibTeX公司 XML格式引用 \textit{M.Benerecetti}等人,《信息计算》。262,第2部分,221--240(2018;Zbl 1400.68119) 全文: DOI程序 arXiv公司
马西莫·贝内雷切蒂;丹尼尔·德尔尔巴;法比奥·莫加维罗 通过优先级提升解决平价游戏。 (英语) Zbl 1390.68332号 形式方法系统。设计。 52,第2期,193-226(2018).MSC公司:65年第68季度 91A43型 PDF格式BibTeX公司 XML格式引用 \textit{M.Beneresetti}等人,《表格方法系统》。设计。52,第2号,193--226(2018;Zbl 1390.68332) 全文: DOI程序 链接
马西莫·贝内雷切蒂;丹尼尔·德尔尔巴;法比奥·莫加维罗 奇偶对策的分块整数算法的鲁棒指数最坏情况。 (英语) Zbl 1483.91049号 Patricia Bouyer等人,《第八届游戏、自动机、逻辑和形式验证国际研讨会论文集》,GandALF 2017,意大利罗马,2017年9月20日至22日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)256121-135(2017)。MSC公司:91A43型 65年第68季度 68周05 PDF格式BibTeX公司 XML格式引用 \textit{M.Benerecetti}等人,《电子》。程序。西奥。计算。科学。(EPTCS)256121--135(2017;Zbl 1483.91049) 全文: arXiv公司 链接
马西莫·贝内雷切蒂;丹尼尔·德尔巴;法比奥·莫加维罗 对等游戏的延迟促销政策。 (英语) Zbl 1478.68144号 Cantone,Domenico(编辑)等人,第七届游戏、自动机、逻辑和形式验证国际研讨会论文集,GandALF 2016,卡塔尼亚,意大利,2016年9月14-16日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)22630-45(2016)。MSC公司:60年第68季度 91A43型 PDF格式BibTeX公司 XML格式引用 \textit{M.Benerecetti}等人,《电子》。程序。西奥。计算。科学。(EPTCS)226,30--45(2016;Zbl 1478.68144) 全文: 链接