黛拉·莫妮卡,达里奥;安吉洛·蒙塔纳里;皮埃特罗·萨拉 扩展(ω)正则语言的区间时序逻辑特征。 (英语) Zbl 07691017号 西奥。计算。科学。 962,文章ID 113929,29 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{D.Della Monica}等人,Theor。计算。科学。962,文章ID 113929,29 p.(2023;Zbl 07691017) 全文: 内政部
劳拉·博泽利;安吉洛·蒙塔纳里;阿德里亚诺·佩隆 未来和最小语义下密集时间内基于时间的规划的复杂性问题。 (英语) 兹伯利0745878 西奥。计算。科学。 901, 87-113 (2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}等人,Theor。计算。科学。901、87-113(2022;Zbl 07458778) 全文: 内政部
安吉洛·蒙塔纳里;皮埃特罗·萨拉 基于区间时序逻辑规范的反应合成。 (英语) Zbl 1515.68185号 西奥。计算。科学。 899, 48-79 (2022).MSC公司:60年第68季度 03B44号 2015年3月1日 PDF格式BibTeX公司 XML格式引用 \textit{A.Montanari}和\textit{P.Sala},Theor。计算。科学。899、48-79(2022年;Zbl 1515.68185) 全文: 内政部
劳拉·博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;格哈德·沃金格 密集时间域上基于时间的规划。 (英语) Zbl 1433.68406号 西奥。计算。科学。 813, 305-326 (2020).MSC公司:68T20型 03B44号 65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}等人,Theor。计算。科学。813305--326(2020年;Zbl 1433.68406) 全文: 内政部
大卫·巴罗齐尼;戴维·德·弗鲁托斯·埃斯克里格;黛拉·莫妮卡,达里奥;安吉洛·蒙塔纳里;皮埃特罗·萨拉 Beyond(ω)-正则语言:(ωT)-正则表达式及其自动机和逻辑对应项。 (英语) Zbl 1433.68192号 西奥。计算。科学。 813, 270-304 (2020).MSC公司:65年第68季度 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{D.Barozzini}等人,Theor。计算。科学。813270-304(2020年;兹比尔1433.68192) 全文: 内政部
尼古拉·吉甘特;安吉洛·蒙塔纳里;安德烈亚·奥兰迪尼;玛尔塔·恰尔迪亚·梅耶;马克·雷诺兹 关于基于时间的游戏及其复杂性。 (英语) Zbl 1433.68409号 西奥。计算。科学。 815, 247-269 (2020).MSC公司:68T20型 91A25型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{N.Gigante}等人,Theor。计算。科学。815247-269(2020年;Zbl 1433.68409) 全文: 内政部 链接
劳拉·博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;皮埃特罗·萨拉 在模型检查中,区间时序逻辑HS的哪些片段是可处理的? (英语) Zbl 1429.68139号 西奥。计算。科学。 764, 125-144 (2019). 审核人:马丁·兰格(卡塞尔) MSC公司:60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}等人,Theor。计算。科学。764125-144(2019年;Zbl 1429.68139) 全文: 内政部 链接
安吉洛·蒙塔纳里;马可·巴扎利亚;皮埃特罗·萨拉 向区间时序逻辑添加一个或多个等价关系。 (英语) Zbl 1408.03011号 西奥。计算。科学。 629, 116-134 (2016).MSC公司:03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.Montanari}等人,Theor。计算。科学。629、116--134(2016;Zbl 1408.03011) 全文: 内政部
大卫·布雷索林;黛拉·莫妮卡,达里奥;安吉洛·蒙塔纳里;皮埃特罗·萨拉;圭多·西亚维科 强离散线性序上的区间时序逻辑:表达性和复杂性。 (英语) 兹比尔1335.03017 西奥。计算。科学。 560,第3部分,269-291(2014).MSC公司:03B44号 PDF格式BibTeX公司 XML格式引用 \textit{D.Bresolin}等人,Theor。计算。科学。560,第3部分,269--291(2014;Zbl 1335.03017) 全文: 内政部
大卫·布雷索林;安吉洛·蒙塔纳里;皮埃特罗·萨拉;圭多·西亚维科 有限结构、自然数和整数上MPNL的最优决策过程。 (英语) Zbl 1296.03013号 西奥。计算。科学。 493, 98-115 (2013).MSC公司:03B44号 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Bresolin}等人,Theor。计算。科学。49398--115(2013;Zbl 1296.03013) 全文: 内政部
乌戈·达尔拉戈;安吉洛·蒙塔纳里;小狗,加布里埃尔 时间粒度的紧凑且可处理的基于自动机的表示。 (英语) Zbl 1111.68053号 西奥。计算。科学。 373,编号1-2,115-141(2007).MSC公司:65年第68季度 第68页,共15页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{U.Dal Lago}等人,Theor。计算。科学。373,编号1--2,115-141(2007;Zbl 1111.68053) 全文: 内政部
安吉洛·蒙塔纳里;马尔滕·德·里杰克 两种排序的度量时态逻辑。 (英语) Zbl 0901.03019号 西奥。计算。科学。 183,第2期,187-214(1997).MSC公司:03B45号 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Montanari}和\textit{M.de Rijke},Theor。计算。科学。183,编号2,187--214(1997;Zbl 0901.03019) 全文: 内政部