洛雷达娜·索伦蒂诺
人员信息
优化列表
2020年–今天
2021 [公元9年] 安东尼奥·迪·斯塔西奥 , 阿尼埃洛·穆拉诺 , 文森佐·普里格纳诺 , 洛雷达娜·索伦蒂诺 :
在实践中改进平价博弈。 安。数学。 Artif公司。 智力。 89 ( 5-6 ) : 551-574 ( 2021 ) [j8] 路易莎·达莫尔 , 阿尼埃洛·穆拉诺 , 洛雷达娜·索伦蒂诺 , 罗塞拉·阿库奇 , 朱利亚诺·拉切蒂 :
面向求解奇偶博弈的多级可扩展并行齐埃隆卡算法。 同意。 计算。 实际。 实验。 33 ( 4 ) ( 2021 ) 2020 [j7] 阿尼埃洛·穆拉诺 , Mimmo父母 , 萨沙·鲁宾 , 洛雷达娜·索伦蒂诺 :
具有有限路径语义的模型检查分级计算树逻辑。 西奥。 计算。 科学。 806 : 577-586 ( 2020 ) [j6] 劳拉·博泽利 , 阿尼埃洛·穆拉诺 , 洛雷达娜·索伦蒂诺 :
线性过去的交替时间逻辑。 西奥。 计算。 科学。 813 : 199-217 ( 2020 ) [j5] 劳拉·博泽利 , 阿尼埃洛·穆拉诺 , 朱塞佩·佩雷利 , 洛雷达娜·索伦蒂诺 :
分层成本平价游戏。 西奥。 计算。 科学。 847 : 147-174 ( 2020 ) [第17条] 马尔科·巴尔扎诺 , 沃尔特·巴尔扎诺 , 洛雷达娜·索伦蒂诺 , 西尔维娅·斯特拉尼埃里 :
智能目的地停车,优化等待时间。 AINA研讨会 2020 : 1019-1027 [第16条] 沃尔特·巴尔扎诺 , 阿尼埃洛·穆拉诺 , 洛雷达娜·索伦蒂诺 , 西尔维娅·斯特拉尼埃里 :
行为聚类:一种新的交通拥堵评估方法。 AINA研讨会 2020 : 1418-1427
2010 – 2019
2019 [第15条] 沃尔特·巴尔扎诺 , 阿尼埃洛·穆拉诺 , 洛雷达娜·索伦蒂诺 , 西尔维娅·斯特拉尼埃里 :
基于波表示的智能紧凑型交通网络视觉。 AINA研讨会 2019 : 870-879 [第14条] 沃尔特·巴尔扎诺 , 阿尼埃洛·穆拉诺 , 洛雷达娜·索伦蒂诺 , 西尔维娅·斯特兰涅利 :
通过波参数进行网络信号比较:一种基于局部对齐的方法。 M&N公司 2019 : 1-6 2018 【j4】 瓦迪姆·马尔文 , 阿尼埃洛·穆拉诺 , 洛雷达娜·索伦蒂诺 :
可达性游戏中的额外获胜策略。 芬丹。 信息学 159 ( 1-2 ) : 175-195年 ( 2018 ) [j3] 瓦迪姆·马尔文 , 法比奥·莫加维罗 , 阿尼埃洛·穆拉诺 , 洛雷达娜·索伦蒂诺 :
关于分级策略量词的推理。 Inf.计算。 259 ( 三 ) : 390-411 ( 2018 ) [注2] 加列·丰丹 , 法比奥·莫加维罗 , 阿尼埃洛·穆拉诺 , 朱塞佩·佩雷利 , 洛雷达娜·索伦蒂诺 :
计算树逻辑中的循环检测。 Inf.计算。 262 : 265-279 ( 2018 ) [第13条] 洛蕾丹娜·索伦蒂诺 , 萨沙·鲁宾 , 阿尼埃洛·穆拉诺 :
有限路径上的分级CTL*。 信息通信与通信系统 2018 : 152-161 [第12条] 劳拉·博泽利 , 阿尼埃洛·穆拉诺 , 洛雷达娜·索伦蒂诺 :
关于具有线性过去的交替时间-时间逻辑的结果。 时间 2018 : 6:1-6:22 2017 [第11条] 瓦迪姆·马尔文 , 阿尼埃洛·穆拉诺 , 洛雷达娜·索伦蒂诺 :
多人游戏中的隐藏动作。 美国原子能机构 2017 : 1205-1213 [第10条] 罗塞拉·阿库奇 , 翁贝托·马洛塔 , 阿尼埃洛·穆拉诺 , 洛雷达娜·索伦蒂诺 :
并行奇偶博弈:Zielonka递归算法的多核吸引器。 ICCS系统 2017 : 525-534 【c9】 劳拉·博泽利 , 阿尼埃洛·穆拉诺 , 朱塞佩·佩雷利 , 洛雷达娜·索伦蒂诺 :
分层成本平价博弈。 时间 2017 : 6:1-6:17 2016 【c8】 瓦迪姆·马尔文 , 阿尼埃洛·穆拉诺 , 洛雷达娜·索伦蒂诺 :
并发多玩家奇偶游戏。 美国原子能机构 2016 : 689-697 【c7】 瓦迪姆·马尔文 , 阿尼埃洛·穆拉诺 , 洛雷达娜·索伦蒂诺 :
隐藏并发游戏中的动作。 ECAI公司 2016 : 1686-1687 【c6】 加列·丰丹 , 法比奥·莫加维罗 , 阿尼埃洛·穆拉诺 , 朱塞佩·佩雷利 , 洛雷达娜·索伦蒂诺 :
计算树逻辑中的循环检测。 甘道夫 2016 : 164-177年 2015 [j1] 法比奥·莫加维罗 , 阿尼埃洛·穆拉诺 , 洛雷达娜·索伦蒂诺 :
论对等游戏中的及时性。 芬丹。 信息学 139 ( 三 ) : 277-305 ( 2015 ) 【c5】 瓦迪姆·马尔文 , 阿尼埃洛·穆拉诺 , 洛雷达娜·索伦蒂诺 :
具有额外获胜策略的游戏。 CILC公司 2015 : 175-180 【c4】 瓦迪姆·马尔文 , 法比奥·莫加维罗 , 阿尼埃洛·穆拉诺 , 洛雷达娜·索伦蒂诺 :
关于策略的计数。 时间 2015 : 170-179 【c3】 阿尼埃洛·穆拉诺 , 洛雷达娜·索伦蒂诺 :
基于游戏的人机交互模型。 哇 2015 : 146-150 2014 【c2】 安东尼奥·迪·斯塔西奥 , 阿尼埃洛·穆拉诺 , 文森佐·普里格纳诺 , 洛雷达娜·索伦蒂诺 :
解决Scala中的平价游戏。 FACS公司 2014 : 145-161 2013 【c1】 法比奥·莫加维罗 , 阿尼埃洛·穆拉诺 , 洛雷达娜·索伦蒂诺 :
论对等游戏中的及时性。 LPAR公司 2013 : 601-618