亚历山德罗·西马蒂;卢卡·盖蒂;尼古拉·吉甘特;安吉洛·蒙塔纳里;斯特凡诺·托内塔 安全和协同安全语言的一阶逻辑特征。 (英语) Zbl 07731941号 日志。计算方法。科学。 19,第3号,第13号论文,29页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人,《日志》。计算方法。科学。19,第3号,第13号论文,29页(2023;Zbl 07731941) 全文: 内政部 arXiv公司
雷纳托·阿坎波拉;卢卡·盖蒂;尼古拉·吉甘特;安吉洛·蒙塔纳里;瓦伦蒂诺·皮科蒂 基于时间线的游戏的控制器合成。 (英语) 兹比尔07802076 Ganty,Pierre(编辑)等人,第13届游戏、自动机、逻辑和形式验证国际研讨会论文集,GandALF 2022,西班牙马德里,2022年9月21日至23日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)370、131-146(2022)。MSC公司:68T20型 第68季度第60季度 91A99型 PDF格式BibTeX公司 XML格式引用 \textit{R.Acampora}等人,电子。程序。西奥。计算。科学。(EPTCS)370131-146(2022;Zbl 07802076) 全文: arXiv公司 链接
卢卡·盖蒂;尼古拉·吉甘特;安吉洛·蒙塔纳里;马克·雷诺兹 TPTL和\(\mathrm{TPTL_b+Past}\)的单程和树形表格系统。 (英语) Zbl 07354965号 Inf.计算。 278,文章ID 104599,第25页(2021).MSC公司:03B44号 PDF格式BibTeX公司 XML格式引用 \textit{L.Geatti}等人,《信息计算》。278,文章ID 104599,25 p.(2021;Zbl 07354965) 全文: 内政部
卢卡·盖蒂;尼古拉·吉甘特;安吉洛·蒙塔纳里;马克·雷诺兹 用于(mathrm{TPTL})和(mathrm)的单程和树形表格系统{TPTL}_b+\mathrm{Past}\)。 (英语) Zbl 1524.03015号 Orlandini,Andrea(编辑)等人,第九届游戏、自动机、逻辑和形式验证国际研讨会论文集,GandALF 2018,德国萨尔布吕肯,2018年9月26日至28日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)277176-190(2018)。MSC公司:03B44号 03B70号 03财年03 PDF格式BibTeX公司 XML格式引用 \textit{L.Geatti}等人,《电子》。程序。西奥。计算。科学。(EPTCS)277176--190(2018;Zbl 1524.03015) 全文: arXiv公司 链接