马西莫·贝内雷切蒂
人员信息
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2020年–今天
2024 [公元23年] 马西莫·贝内雷切蒂 , 丹尼尔·德尔·埃尔巴 , 法比奥·莫加韦罗 :
通过准自治权求解均值对价博弈。 Inf.计算。 297 : 105151 ( 2024 ) [第九章] 马西莫·贝内雷切蒂 , 劳拉·博泽利 , 法比奥·莫加维罗 , 阿德里亚诺·佩隆 :
分支时间时序逻辑的自动机理论特征。 CoRR公司 abs/2404.17421 ( 2024 ) 2023 [公元22年] 迪伦·贝利尔 , 马西莫·贝内雷切蒂 , 达里奥·德拉·莫妮卡 , 法比奥·莫加维罗 :
交替(In)依赖友好逻辑。 Ann.纯粹应用。 日志。 174 ( 10 ) : 103315 ( 2023 ) [公元21年] 马西莫·贝内雷切蒂 , 法比奥·莫加维罗 , 阿德里亚诺·佩隆 :
驯服策略逻辑:非连续碎片。 Inf.计算。 294 : 105081 ( 2023 ) [公元20年] 迪伦·贝利尔 , 马西莫·贝内雷切蒂 , 达里奥·德拉·莫妮卡 , 法比奥·莫加维罗 :
适用于游戏QPTL:一种交替的Hodges语义。 ACM事务处理。 计算。 日志。 24 ( 1 ) : 4:1-4:57 ( 2023 ) [公元35年] 马西莫·贝内雷切蒂 , 劳拉·博泽利 , 法比奥·莫加维罗 , 阿德里亚诺·佩隆 :
一元二阶逻辑中的树上量化。 低收入国家 2023 : 1-13 [i8] 马西莫·贝内雷切蒂 , 劳拉·博泽利 , 法比奥·莫加维罗 , 阿德里亚诺·佩隆 :
一元二阶逻辑中树上的量化。 CoRR公司 abs/2304.11613 ( 2023 ) [i7] 迪伦·贝利尔 , 马西莫·贝内雷切蒂 , 达里奥·德拉·莫妮卡 , 法比奥·莫加维罗 :
交替(In)依赖友好逻辑。 CoRR公司 abs/2304.11652 ( 2023 ) 2022 [公元34年] 马西莫·贝内雷切蒂 , 法比奥·莫加维罗 , 阿德里亚诺·佩隆 :
驯服策略逻辑:非连续碎片。 时间 2022 : 14:1-14:16 2021 [公元33年] 马西莫·贝内雷切蒂 , 法比奥·莫加维罗 , 阿德里亚诺·佩隆 , 路易吉·利贝罗·卢西奥·斯塔雷斯 :
表示安全关键层次系统的结构时间特性。 QUATIC公司 2021 : 356-369 [i6] 迪伦·贝利尔 , 马西莫·贝内雷切蒂 , 达里奥·德拉·莫妮卡 , 法比奥·莫加韦罗 :
适用于游戏QPTL:一种交替的Hodges语义。 CoRR公司 abs/2104.06085 ( 2021 ) [i5] 马西莫·贝内雷切蒂 , 丹尼尔·德尔·埃尔巴 , 法比奥·莫加维罗 , 斯文·舍韦 , 多米尼克·沃伊特扎克 :
优先推广巴西人风格。 CoRR公司 abs/2105.01738 ( 2021 ) 2020 [公元19年] 马西莫·贝内雷切蒂 , 丹尼尔·德尔·埃尔巴 , 法比奥·莫加维罗 :
奇偶博弈算法的稳健最坏情况。 Inf.计算。 272 : 104501 ( 2020 ) [公元18年] 罗伯托·纳尔多 , 斯特凡诺·马龙 , 乌戈·詹蒂莱 , 阿尼埃洛·阿马托 , 格雷戈里奥·巴贝里奥 , 马西莫·贝内雷切蒂 , 雷纳托·德古列尔莫 , 贝尼亚米·迪马蒂诺 , 尼古拉·马佐卡 , 阿德里亚诺·佩隆 , 盖塔诺·皮萨尼 , 路易吉·维拉迪 , 瓦莱里娅·维托里尼 :
基于OSLC的环境,用于ERTMS/ETCS控制器的系统级功能测试。 J.系统。 柔和。 161 ( 2020 ) [公元32年] 马西莫·贝内雷切蒂 , 丹尼尔·德尔·埃尔巴 , 法比奥·莫加维罗 :
通过准自治权解决Mean-Payoff游戏。 TACAS(2) 2020 : 289-306 [i4] 马西莫·贝内雷切蒂 , 丹尼尔·德尔·埃尔巴 , 马可·费拉 , 法比奥·莫加维罗 :
从准偏差到进度措施。 CoRR公司 abs/2008.04232 ( 2020 )
2010 – 2019
2019 [公元31年] 埃尔曼·阿卡尔 , 马西莫·贝内雷切蒂 , 法比奥·莫加维罗 :
策略逻辑中的可满足性比模型检查更容易。 AAAI公司 2019 : 2638-2645 [公元30年] 马西莫·贝内雷切蒂 , 乌戈·詹蒂莱 , 斯特凡诺·马龙 , 罗伯托·纳尔多 , 阿德里亚诺·佩隆 , 路易吉·L·L·斯塔雷斯 , 瓦莱丽娅·维托里尼 :
从动态状态机到Promela。 自旋蛋白 2019 : 56-73 [i3] 马西莫·贝内雷切蒂 , 丹尼尔·德尔·埃尔巴 , 法比奥·莫加维罗 :
通过准自治权解决Mean-Payoff游戏。 CoRR公司 腹肌/1907.06264 ( 2019 ) 2018 [公元17年] 马西莫·贝内雷切蒂 , 丹尼尔·德尔·埃尔巴 , 法比奥·莫加维罗 :
通过优先级提升解决平价游戏。 形式方法系统。 设计。 52 ( 2 ) : 193-226 ( 2018 ) [公元16年] 马西莫·贝内雷切蒂 , 丹尼尔·德尔·埃尔巴 , 法比奥·莫加维罗 :
平价游戏的延迟促销政策。 Inf.计算。 262 : 221-240 ( 2018 ) 2017 [公元15年] 马西莫·贝内雷切蒂 , 马可·费拉 :
跟踪线性混合系统中的平滑轨迹。 Inf.计算。 257 : 114-138 ( 2017 ) [公元14年] 马西莫·贝内雷切蒂 , 雷纳托·德古列尔莫 , 乌戈·詹蒂莱 , 斯特凡诺·马龙 , 尼古拉·马佐卡 , 罗伯托·纳尔多 , 阿德里亚诺·佩隆 , 路易吉·维拉迪 , 瓦莱里娅·维托里尼 :
用于铁路控制系统建模的动态状态机。 科学。 计算。 程序。 133 : 116-153 ( 2017 ) [j13] 马西莫·贝内雷切蒂 , 马可·费拉 :
线性混合系统切换控制器的自动综合:可达性控制。 ACM事务处理。 嵌入。 计算。 系统。 16 ( 4 ) : 104:1-104:27 ( 2017 ) [公元29年] 马西莫·贝内雷切蒂 , 丹尼尔·德尔·埃尔巴 , 法比奥·莫加维罗 :
奇偶博弈除法Impera算法的鲁棒指数最坏情况。 甘道夫 2017 : 121-135 2016 [公元12年] 安妮塔·阿利坎特 , 马西莫·贝内雷切蒂 , 安娜·科拉扎 , 斯特凡诺·西尔维斯特里 :
将本体知识集成到信息提取中的分布式体系结构。 国际电网公司。 计算。 7 ( 4 ) : 245-256 ( 2016 ) [j11] 马西莫·贝内雷切蒂 , 阿德里亚诺·佩隆 :
定时递归状态机:表达能力和复杂性。 西奥。 计算。 科学。 625 : 85-124 ( 2016 ) [公元28年] 马西莫·贝内雷切蒂 , 丹尼尔·德尔·埃尔巴 , 法比奥·莫加维罗 :
通过优先促销解决平价游戏。 卡瓦(2) 2016 : 270-290 [公元27年] 马西莫·贝内雷切蒂 , 丹尼尔·德尔·埃尔巴 , 法比奥·莫加维罗 :
改进平价游戏的优先促销。 海法核查会议 2016 : 117-133 [公元26年] 马西莫·贝内雷切蒂 , 丹尼尔·德尔·埃尔巴 , 法比奥·莫加维罗 :
平价游戏的延迟促销政策。 甘道夫 2016 : 30-45 2015 [j10] 马西莫·贝内雷切蒂 , 法比奥·莫加维罗 , 阿尼埃洛·穆拉诺 :
关于子结构和游戏的推理。 ACM事务处理。 计算。 日志。 16 ( 三 ) : 25:1-25:51 ( 2015 ) [公元25年] 罗伯托·纳尔多 , 乌戈·詹蒂莱 , 马西莫·贝内雷切蒂 , 阿德里亚诺·佩隆 , 瓦莱里娅·维托里尼 , 斯特凡诺·马龙 , 尼古拉·马佐卡 :
Promela铁路控制系统建模。 FTSCS公司 2015 : 121-136 2014 [公元9年] 亚历山德罗·阿曼多 , 马西莫·贝内雷切蒂 , 雅各布·曼托瓦尼 :
带数组的线性程序的反例引导抽象精化。 自动。 柔和。 工程师。 21 ( 2 ) : 225-285 ( 2014 ) [公元24年] 安妮塔·阿利坎特 , 马西莫·贝内雷切蒂 , 安娜·科拉扎 , 斯特凡诺·西尔维斯特里 :
集成本体知识和概率分类器的分布式信息提取系统。 第三方GCIC 2014 : 420-425 【c23】 罗伯托·纳尔多 , 乌戈·詹蒂莱 , 阿德里亚诺·佩隆 , 马西莫·贝内雷切蒂 , 瓦莱里娅·维托里尼 , 斯特凡诺·马龙 , 雷纳托·德·古列尔莫 , 尼古拉·马佐卡 , 路易吉·维拉迪 :
铁路控制系统规范形式化的动态状态机。 FTSCS公司 2014 : 93-109 2013 [j8] 马西莫·贝内雷切蒂 , 阿德里亚诺·佩隆 :
定时协议不安全问题是NP完全问题。 未来一代。 计算。 系统。 29 ( 三 ) : 843-862 ( 2013 ) [j7] 马西莫·贝内雷切蒂 , 马可·费拉 , 斯特凡诺·米诺波利 :
线性混合系统开关控制器的自动综合:安全控制。 西奥。 计算。 科学。 493 : 116-138 ( 2013 ) [公元22年] 马西莫·贝内雷切蒂 , 马可·费拉 :
跟踪多面体边界上的可微分轨迹。 高速列车控制中心 2013 : 193-202 【c21】 马西莫·贝内雷切蒂 , 法比奥·莫加维罗 , 阿尼埃洛·穆拉诺 :
子结构时序逻辑。 低收入国家 2013 : 368-377 2012 [公元20年] 马西莫·贝内雷切蒂 , 马可·费拉 , 斯特凡诺·米诺波利 :
线性混合系统的可达性博弈。 高速列车控制中心 2012 : 65-74 2011 [第19条] 马西莫·贝内雷切蒂 , 马可·费拉 , 斯特凡诺·米诺波利 :
线性混合系统切换控制器的再综合。 CDC/ECC 2011 : 4753-4758 [第18条] 马西莫·贝内雷切蒂 , 马可·费拉 , 斯特凡诺·米诺波利 :
线性混合系统的高效精确综合。 甘道夫 2011 : 263-277 [i2] 马西莫·贝内雷切蒂 , 马可·费拉 , 斯特凡诺·米诺波利 :
线性混合自动机开关控制器的自动综合。 CoRR公司 abs/1103.4584 ( 2011 ) 2010 [第17条] 马西莫·贝内雷切蒂 , 尼古拉·科莫 , 阿德里亚诺·佩隆 :
定时协议不安全问题是NP完全的。 高性能计算机系统 2010 : 274-282 [第16条] 马西莫·贝内雷切蒂 , 斯特凡诺·米诺波利 , 阿德里亚诺·佩隆 :
时间递归状态机分析。 时间 2010 : 61-68
2000 – 2009
2009 [j6] 马西莫·贝内雷切蒂 , 尼古拉·科莫 , 阿德里亚诺·佩隆 :
TPMC:时间敏感安全协议的模型检查器。 J.计算。 4 ( 5 ) : 366-377 ( 2009 ) 2007 [c15] 亚历山德罗·阿曼多 , 马西莫·贝内雷切蒂 , 达里奥胡萝卜 , 雅各布·曼托瓦尼 , 帕斯奎尔·斯皮卡 :
用于软件模型检查的eureka工具。 ASE公司 2007 : 541-542 [第14条] 亚历山德罗·阿曼多 , 马西莫·贝内雷切蒂 , 雅各布·曼托瓦尼 :
带数组的线性程序的抽象精化。 TACAS公司 2007 : 373-388 2005 [第13条] 马西莫·贝内雷切蒂 , 保罗·布凯 , 斯特凡诺·扎诺比尼 :
模式匹配方法的可靠性。 ESWC公司 2005 : 211-225 [第12条] 亚历山德罗·阿曼多 , 马西莫·贝内雷切蒂 , 雅各波·曼托瓦尼 :
带数组的模型检查线性程序。 软MC@CAV 2005 : 79-94 2003 [i1] 劳拉·博泽利 , 马西莫·贝内雷切蒂 , 阿德里亚诺·佩隆 :
递归并行系统的验证。 CoRR公司 反恐精英。 俄亥俄州/0312019 ( 2003 ) 2002 [第11条] 马西莫·贝内雷切蒂 , 亚历山德罗·西马蒂 :
通过符号模型检查验证多智能体系统。 AOSE公司 2002 : 32-46 [第10条] 马西莫·贝内雷切蒂 , 毛里齐奥·潘蒂 , 卢卡·斯帕拉齐 , 西蒙·塔科尼 :
通过多代理模型检查验证支付协议。 CAiSE公司 2002 : 311-327 【c9】 马西莫·贝内雷切蒂 , 毛里齐奥·潘蒂 , 卢卡·斯帕拉齐 , 西蒙·塔科尼 :
使用模型可检查的信念和时间逻辑验证SSL/TLS协议。 SAFECOMP公司 2002 : 126-138 2001 [j5] 马西莫·贝内雷切蒂 , 保罗·布凯 , 马泰奥·博尼法西奥 :
分布式上下文软件系统。 嗯,计算。 互动。 16 ( 2-4 ) : 213-228 ( 2001 ) 【c8】 马西莫·贝内雷切蒂 , 保罗·布凯 , 奇亚拉·吉迪尼 :
论语境依赖的维度:偏倚、近似和视角。 上下文 2001 : 59-72 2000 【j4】 马西莫·贝内雷切蒂 , 保罗·布凯 , 奇亚拉·吉迪尼 :
提炼出上下文推理。 J.实验理论。 Artif公司。 智力。 12 ( 三 ) : 279-305 ( 2000 ) 【c7】 马西莫·贝内雷切蒂 , 福斯托·金奇利亚 :
基于模型检验的多智能体系统分析。 联邦航空防务局 2000 : 1-15 【c6】 马西莫·贝内雷切蒂 , 福斯托·金奇利亚 , 毛里齐奥·潘蒂 , 卢卡·斯帕拉齐 :
安全协议的信任逻辑和模型检查算法。 复地 2000 : 393-408 【c5】 马西莫·贝内雷切蒂 , 福斯托·金奇利亚 :
使用信任逻辑对安全协议进行模型检查。 TACAS公司 2000 : 519-534
1990 – 1999
1999 [j3] 马西莫·贝内雷切蒂 , 恩里科·金奇利亚 , 卢西亚诺·塞拉菲尼 , 阿道夫·维拉菲奥里塔 :
多智能体系统中信念的形式化描述。 国际J.国际。 系统。 14 ( 10 ) : 1021-1040 ( 1999 ) [电子1] 保罗·布凯 , 卢西亚诺·塞拉菲尼 , 帕特里克·布雷齐隆 , 马西莫·贝内雷切蒂 , F.卡斯特拉尼 :
建模和使用背景,第二届国际和跨学科会议,Context'99,意大利特伦托,1999年9月,会议记录。 计算机科学课堂讲稿 1688, 施普林格 1999 ,国际标准图书编号 3-540-66432-7 [目录] 1998 [注2] 马西莫·贝内雷切蒂 , 福斯托·金奇利亚 , 卢西亚诺·塞拉菲尼 :
模型检查多代理系统。 J.日志。 计算。 8 ( 三 ) : 401-423 ( 1998 ) 【c4】 马西莫·贝内雷切蒂 , 保罗·布凯 , 奇亚拉·吉迪尼 :
形式化信仰报告——方法和案例研究。 AIMSA公司 1998 : 62-75 【c3】 马西莫·贝内雷切蒂 , 福斯托·金奇利亚 , 卢西亚诺·塞拉菲尼 :
一种多智能体系统的模型检查算法。 安乐 1998 : 163-176 【c2】 马西莫·贝内雷切蒂 , 福斯托·金奇利亚 , 卢西亚诺·塞拉菲尼 :
通过模型检查进行多智能体系统验证。 EUROVAV公司 1998 1996 [j1] 马西莫·贝内雷切蒂 , 卢卡·斯帕拉齐 :
METAFOL:程序策略、逻辑策略和反思。 未来一代。 计算。 系统。 12 ( 2-3 ) : 139-156 ( 1996 ) 【c1】 马西莫·贝内雷切蒂 , 亚历山德罗·西马蒂 , 恩里科·金奇利亚 , 福斯托·金奇利亚 , 卢西亚诺·塞拉菲尼 :
多智能体系统中信念的形式化规范。 安乐 1996 : 117-130
合著者索引
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)