皮耶乔治·贝尔托利;马可·波扎诺;亚历山德罗·西马蒂 用于安全分析、诊断和综合的符号模型检查框架。 (英语) 兹比尔1196.68127 Edelkamp,Stefan(编辑)等人,《模型检查与人工智能》。第四次研讨会,MoChArt IV,Riva del Garda,意大利,2006年8月29日。修订选定和邀请的论文。柏林:施普林格出版社(ISBN 978-3-540-74127-5/pbk)。计算机科学课堂讲稿4428。人工智能课堂讲稿,1-18(2007)。MSC公司:第68季度第60季度 68T20型 93亿B50 PDF格式BibTeX公司 XML格式引用 \textit{P.Bertoli}等人,Lect。注释计算。科学。4428,1-18(2007;Zbl 1196.68127) 全文: 内政部
皮耶乔治·贝尔托利;亚历山德罗·西马蒂;马可·罗维里;保罗·特拉弗索 部分可观测性下的强规划。 (英语) Zbl 1131.68095号 Artif公司。智力。 170,编号4-5,337-384(2006).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{P.Bertoli}等人,Artif。智力。170,编号4--5,337--384(2006;Zbl 1131.68095) 全文: 内政部
A.西马蒂。;Roveri,M。;伯托利,P。 通过符号模型检查和启发式搜索进行一致性规划。 (英语) Zbl 1086.68591号 Artif公司。智力。 159,编号1-2,127-206(2004).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人,Artif。智力。159,编号1--2,127-206(2004;Zbl 1086.68591) 全文: 内政部
吉尔·奥德玛;皮耶乔治·贝尔托利;亚历山德罗·西马蒂;阿图尔·科尔尼·奥维茨;罗伯托·塞巴斯蒂亚尼 基于SAT的布尔和线性数学命题公式求解方法。 (英语) Zbl 1072.68562号 Andrei Voronkov(编辑),自动扣除-CADE-18。第18届国际会议,丹麦哥本哈根,2002年7月27日至30日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-43931-5)。莱克特。注释计算。科学。2392, 195-210 (2002).MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{G.Audemard}等人,Lect。注释计算。科学。2392195-210(2002年;Zbl 1072.68562) 全文: 链接
吉尔·奥德玛;皮耶乔治·贝尔托利;亚历山德罗·西马蒂;阿图尔·科尔尼·奥维茨;罗伯托·塞巴斯蒂亚尼 集成布尔运算和数学求解:基础、基本算法和要求。 (英语) Zbl 1072.68603号 Calmet,Jacques(编辑)等人,《人工智能、自动推理和符号计算》。联合国际会议:AISC 2002,第六届人工智能和符号计算国际会议,Calculemus 2002,第十届符号计算与机械化推理集成研讨会。2002年7月1日至5日,法国马赛。诉讼程序。柏林:施普林格出版社(ISBN 3-540-43865-3)。莱克特。注释计算。科学。2385, 231-245 (2002).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{G.Audemard}等人,Lect。注释计算。科学。2385231--245(2002年;Zbl 1072.68603) 全文: 链接
亚历山德罗·西马蒂;马可·罗维里;皮耶乔治·贝尔托利 通过结合显式状态和符号模型检查来搜索功率集自动机。 (英语) Zbl 0978.68546号 Margaria,Tiziana(编辑)等,系统构建和分析的工具和算法。2001年4月2日至6日在意大利热那瓦举行的第七届国际会议TACAS 2001,是欧洲软件理论与实践联合会议ETAPS 2001的一部分。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2031131-327(2001)中描述。MSC公司:第68季度第60季度 65年第68季度 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人,Lect。注释计算。科学。2031313--327(2001;Zbl 0978.68546) 全文: 链接