克劳迪奥·蒙吉;亚历山德罗·玛丽亚·里齐;安娜·伯纳斯科尼;鲍拉·斯波莱蒂尼 TOrPEDO:用拓扑证明见证模型的正确性。 (英语) Zbl 1522.68335号 正式Asp。计算。 33,第6号,1039-1066(2021).MSC公司:60年第68季度 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{C.Menghi}等人,正式Asp。计算。33,第6号,1039--1066(2021;Zbl 1522.68335) 全文: DOI程序 OA许可证
克劳迪奥·蒙吉;亚历山德罗·玛丽亚·里齐;安娜·伯纳斯科尼 将拓扑证明与模型检查集成到仪器迭代设计中。 (英语) Zbl 1507.68195号 Wehrheim,Heike(ed.)等人,软件工程的基本方法。第23届国际会议,FASE 2020,作为欧洲软件理论和实践联席会议的一部分举行,ETAPS 2020,爱尔兰都柏林,2020年4月25日至30日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12076,53-74(2020)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Menghi}等人,Lect。注释计算。科学。12076,53-74(2020;Zbl 1507.68195) 全文: DOI程序 arXiv公司 OA许可证
克劳迪奥·蒙吉;鲍拉·斯波莱蒂尼;玛莎·契契克;卡洛·盖齐 控制器迭代设计的验证驱动框架。 (英语) Zbl 1425.68262号 正式Asp。计算。 31,5号,459-502(2019).MSC公司:60年第68季度 03B44号 68纳米99 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Menghi}等人,正式Asp。计算。31,第5号,459--502(2019;Zbl 1425.68262) 全文: DOI程序 OA许可证
克劳迪奥·蒙吉;塞尔吉奥·加西亚;帕特里齐奥·佩利奇奥内;贾纳·图莫娃 不确定性下的多机器人LTL规划。 (英语) 兹比尔1460.68119 Havelund,Klaus(编辑)等人,《形式方法》。2018年7月15日至17日,作为联邦逻辑会议的一部分,在英国牛津举行了2018年第22届国际研讨会(FM 2018)。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10951, 399-417 (2018).MSC公司:68T40型 03B44号 68T20型 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{C.Menghi}等人,Lect。注释计算。科学。10951、399--417(2018;Zbl 1460.68119) 全文: DOI程序 链接