克劳迪奥·蒙吉;马尔塞洛·贝尔萨尼。;罗西,马蒂奥;Pierluigi San彼得罗 基于时间自动机的模型检验MITL公式。基于逻辑的方法。 (英语) Zbl 1446.68095号 ACM事务处理。计算。日志。 21,第3号,第26条,第44页(2020年).MSC公司:60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Menghi}等人,ACM Trans。计算。日志。21,第3号,第26条,第44页(2020年;Zbl 1446.68095) 全文: 内政部
马尔塞洛·贝尔萨尼。;罗西,马蒂奥;圣彼得罗,皮耶路易吉 关于时间形式中时钟的初始化。 (英语) Zbl 1433.03048号 西奥。计算。科学。 813, 175-198 (2020).MSC公司:03B44号 05年3月 65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{M.M.Bersani}等人,Theor。计算。科学。813175-198(2020年;Zbl 1433.03048) 全文: 内政部 链接
马尔塞洛·贝尔萨尼。;罗西,马蒂奥;圣彼得罗,皮耶路易吉 定时正则语言的逻辑特征。 (英语) Zbl 1355.68150号 西奥。计算。科学。 658,A部分,46-59(2017).MSC公司:65年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{M.M.Bersani}等人,Theor。计算。科学。658,A部分,46-59(2017;Zbl 1355.68150) 全文: 内政部
马尔塞洛·贝尔萨尼。;罗西,马蒂奥;圣彼得罗,皮耶路易吉 用于确定连续时间度量时序逻辑的可满足性的工具。 (英语) Zbl 1336.68230号 学报信息。 53,第2期,171-206(2016).MSC公司:68吨15 03B25号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{M.M.Bersani}等人,《信息学报》53,第2期,171--206(2016;Zbl 1336.68230) 全文: 内政部 链接
马尔塞洛·贝尔萨尼。;罗西,马蒂奥;圣彼得罗,皮耶路易吉 一种基于SMT的MITL可满足性检查方法。 (英语) Zbl 1332.68138号 Inf.计算。 245, 72-97 (2015).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{M.M.Bersani}等人,《信息计算》。24572--97(2015;Zbl 1332.68138) 全文: 内政部
马尔塞洛·贝尔萨尼。;阿基尔·弗里吉里;安杰洛·莫尔岑蒂;普拉德拉,马泰奥;罗西,马蒂奥;圣彼得罗,皮耶路易吉 无自动机约束LTL可满足性检查。 (英语) Zbl 1310.68141号 J.应用。日志。 12,第4期,522-557(2014).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \文本{M.M.Bersani}等人,J.Appl。日志。12,第4号,522--557(2014;Zbl 1310.68141) 全文: 内政部 arXiv公司
马尔塞洛·贝尔萨尼。;罗西,马蒂奥;圣彼得罗,皮耶路易吉 定时(非)正则语言的逻辑特征。 (英语) Zbl 1426.03017号 Csuhaj-Varjü,Erzébet(编辑)等人,2014年计算机科学数学基础。2014年8月25-29日在匈牙利布达佩斯举行的2014年MFCS第39届国际研讨会。会议记录,第一部分,柏林:施普林格。莱克特。注释计算。科学。8634, 75-86 (2014).MSC公司:03B44号 03B25号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{M.M.Bersani}等人,Lect。注释计算。科学。8634,75-86(2014;Zbl 1426.03017) 全文: 内政部 链接
Marcelo Maria贝尔萨尼;罗西,马蒂奥;Pierluigi San彼得罗 确定MITL规范的可满足性。 (英语) Zbl 1464.68193号 Puppis,Gabriele(ed.)等人,《第四届游戏、自动机、逻辑和形式验证国际研讨会论文集》,GandALF 2013,意大利多洛米蒂Borca di Cadore,2013年8月29日至31日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)119,64-78(2013年)。MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{M.M.Bersani}等人,《电子》。程序。西奥。计算。科学。(EPTCS)119、64--78(2013;Zbl 1464.68193) 全文: arXiv公司 链接
马尔塞洛·贝尔萨尼。;罗西,马蒂奥;Pierluigi San彼得罗 用计数方式确定连续时间度量时序逻辑。 (英语) Zbl 1405.03045号 Abdulla,Parosh Aziz(编辑)等,《可达性问题》。第七届国际研讨会,RP 2013,瑞典乌普萨拉,2013年9月24日至26日会议记录。柏林:施普林格出版社(ISBN 978-3-642-41035-2/pbk)。计算机科学课堂讲稿8169,70-82(2013)。MSC公司:03B44号 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{M.M.Bersani}等人,Lect。注释计算。科学。8169,70-82(2013;Zbl 1405.03045) 全文: 内政部
马尔塞洛·贝尔萨尼。;阿基尔·弗里吉里;罗西,马蒂奥;圣彼得罗,皮耶路易吉 约束LTL有界可满足性问题的完备性。 (英语) Zbl 1347.03031号 Delzanno,Giorgio(编辑)等人,《可达性问题》。2011年9月28日至30日在意大利热那亚举行的RP 2011第五届国际研讨会。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-24287-8/pbk)。计算机科学课堂讲稿6945,58-71(2011)。MSC公司:03B44号 03B70号 05年3月 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.M.Bersani}等人,Lect。注释计算。科学。6945、58--71(2011年;Zbl 1347.03031) 全文: 内政部
当、哲;圣彼得罗,皮耶路易吉;理查德·凯默勒(Richard A.Kemmer)。 离散时间自动机的Presburger活性验证。 (英语) Zbl 1040.68050号 西奥。计算。科学。 299,编号1-3,413-438(2003).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Z.Dang}等人,Theor。计算。科学。299,编号1--3,413--438(2003;Zbl 1040.68050) 全文: 内政部
当、哲;奥斯卡·H·伊巴拉。;圣彼得罗,皮耶路易吉 带有自由计数器的可逆有界多计数器机器的活性验证。 (英语) Zbl 1053.03021号 Hariharan,Ramesh(编辑)等人,FST TCS 2001:软件技术和理论计算机科学基础。第21届会议,印度班加罗尔,2001年12月13日至15日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-43002-4)。莱克特。注释计算。科学。2245, 132-143 (2001).MSC公司:05年3月 03B25号 60年第68季度 65年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{Z.Dang}等人,Lect。注释计算。科学。2245132--143(2001年;Zbl 1053.03021) 全文: 链接