马西莫·贝内雷切蒂;法比奥·莫加维罗;阿德里亚诺·佩隆 驯服策略逻辑:非重复碎片。 (英语) Zbl 07742412号 Inf.计算。 294,文章ID 105081,25 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{M.Benerecetti}等人,《信息计算》。294,文章ID 105081,25 p.(2023;Zbl 07742412) 全文: 内政部
迪伦·贝利尔;马西莫·贝内雷切蒂;黛拉·莫妮卡,达里奥;法比奥·莫加维罗 交替(in)依赖友好逻辑。 (英语) Zbl 07741119号 Ann.纯粹应用。逻辑 174,第10号,文章ID 103315,58 p.(2023).MSC公司:03B60号 03B70号 03C80号 03C90号 68T27型 91A28型 PDF格式BibTeX公司 XML格式引用 \textit{D.Bellier}等人,Ann.Pure Appl。逻辑174,第10号,文章ID 103315,58页(2023;Zbl 07741119) 全文: 内政部 arXiv公司
迪伦·贝利尔;马西莫·贝内雷切蒂;黛拉·莫妮卡,达里奥;法比奥·莫加维罗 Good-for-game QPTL:一种交替的hodges语义。 (英语) Zbl 07650600号 ACM事务处理。计算。日志。 24,第1号,第4号论文,57页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{D.Bellier}等人,ACM Trans。计算。日志。24,第1号,第4号论文,57页(2023;Zbl 07650600) 全文: 内政部 arXiv公司
马西莫·贝内雷切蒂;丹尼尔·德尔巴;法比奥·莫加维罗 通过准自治权求解均值对价博弈。 (英语) 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) 全文: 内政部
马西莫·贝内雷切蒂;丹尼尔·德尔尔巴;法比奥·莫加维罗 奇偶博弈算法的稳健最坏情况。 (英语) 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) 全文: 内政部
盖尔·方丹;法比奥·莫加维罗;阿尼埃洛·穆拉诺;朱塞佩·佩雷利;Loredana索伦蒂诺 计算树逻辑中的循环检测。 (英语) Zbl 1400.68123号 Inf.计算。 262,第2部分,265-279(2018).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{G.Fontaine}等人,《信息计算》。262,第2部分,265--279(2018;Zbl 1400.68123) 全文: 内政部 arXiv公司
马西莫·贝内雷切蒂;丹尼尔·德尔尔巴;法比奥·莫加维罗 对等游戏的延迟促销政策。 (英语) Zbl 1400.68119号 Inf.计算。 262,第2部分,221-240(2018).MSC公司:60年第68季度 91A43型 PDF格式BibTeX公司 XML格式引用 \textit{M.Benerecetti}等人,《信息计算》。262,第2部分,221-240(2018;兹bl 1400.68119) 全文: 内政部 arXiv公司
彼得·科马克;阿莱西奥·洛穆西奥;法比奥·莫加维罗;阿尼埃洛·穆拉诺 多智能体系统的实际验证Slk公司规范。 (英语) Zbl 1395.68255号 Inf.计算。 261,第3部分,588-614(2018).MSC公司:68T27型 60年第68季度 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{P.采尔玛}等人,《Inf.Compute》。261,第3部分,588--614(2018;Zbl 1395.68255) 全文: 内政部
马西莫·贝内雷切蒂;丹尼尔·德尔尔巴;法比奥·莫加维罗 通过优先级提升解决平价游戏。 (英语) 兹比尔1390.68332 形式方法系统。设计。 52,第2期,193-226(2018).MSC公司:65年第68季度 91A43型 PDF格式BibTeX公司 XML格式引用 \textit{M.Benerecetti}等人,《形式方法系统》。设计。52,第2号,193--226(2018;Zbl 1390.68332) 全文: 内政部 链接
瓦迪姆·马尔文;法比奥·莫加维罗;阿尼埃洛·穆拉诺;Loredana索伦蒂诺 关于分级策略量词的推理。 (英语) Zbl 1390.68612号 Inf.计算。 259,第3部分,390-411(2018).MSC公司:68T27型 68T42型 91A06型 PDF格式BibTeX公司 XML格式引用 \textit{V.Malvone}等人,《信息计算》。259,第3部分,390--411(2018;Zbl 1390.68612) 全文: 内政部
马西莫·贝内雷切蒂;丹尼尔·德尔尔巴;法比奥·莫加维罗 奇偶博弈的分块整数算法的鲁棒指数最坏情况。 (英语) 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公司 链接
盖尔·方丹;法比奥·莫加维罗;阿尼埃洛·穆拉诺;朱塞佩·佩雷利;Loredana索伦蒂诺 计算树逻辑中的循环检测。 (英语) Zbl 1478.68158号 Cantone,Domenico(ed.)等人,第七届游戏、自动机、逻辑和形式验证国际研讨会论文集,GandALF 2016,卡塔尼亚,意大利,2016年9月14-16日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)226164-177(2016)。MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{G.Fontaine}等人,《电子》。程序。西奥。计算。科学。(EPTCS)226164--177(2016;Zbl 1478.68158) 全文: 链接
马西莫·贝内雷切蒂;法比奥·莫加维罗;阿尼埃洛·穆拉诺 关于子结构和游戏的推理。 (英语) Zbl 1354.03019号 ACM事务处理。计算。日志。 第16条第3款第25条第51页(2015年).MSC公司:03B44号 03B25号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Benerecetti}等人,《美国医学杂志》。计算。日志。16,第3号,第25条,51页(2015;Zbl 1354.03019) 全文: 内政部
法比奥·莫加维罗;阿尼埃洛·穆拉诺;朱塞佩·佩雷利;莫舍·瓦尔迪。 关于策略的推理:关于模型检查问题。 (英语) Zbl 1354.68178号 ACM事务处理。计算。日志。 第15号第4条第34条第47页(2014年).MSC公司:60年第68季度 68T27型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{F.Mogavero}等人,ACM Trans。计算。日志。15,第4号,第34条,47页(2014年;Zbl 1354.68178) 全文: 内政部 arXiv公司
法比奥·莫加维罗;阿尼埃洛·穆拉诺 带有最小模型量词的分支时间时序逻辑。 (英语) Zbl 1247.03026号 Diekert,Volker(编辑)等人,《语言理论的发展》。第13届国际会议,DLT 2009,德国斯图加特,2009年6月30日-7月3日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-02736-9/pbk)。计算机科学课堂讲稿5583,396-409(2009)。MSC公司:03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Mogavero}和\textit{A.Murano},Lect。注释计算。科学。5583、396--409(2009年;Zbl 1247.03026) 全文: 内政部