皮耶乔治·贝尔托利;亚历山德罗·西马蒂;马可·罗维里;保罗·特拉弗索 部分可观测性下的强规划。 (英语) 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年;兹bl 1131.68095) 全文: 内政部
A.西马蒂。;M·皮斯托尔。;M.罗维里。;特拉弗索,P。 通过符号模型检查进行弱、强和强循环规划。 (英语) Zbl 1082.68800号 Artif公司。智力。 147,编号1-2,35-84(2003).MSC公司:68T20型 2005年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人,Artif。智力。147,编号1--2,35-84(2003;Zbl 1082.68800) 全文: 内政部
A.西马蒂。;金奇利亚,F。;蒙加迪,G。;D.罗曼诺。;托里埃利,F。;特拉弗索,P。 使用模型检查对铁路联锁系统进行形式化验证。 (英语) 兹比尔1086.68556 正式Asp。计算。 10,第4期,361-380页(1998年).MSC公司:60年第68季度 68单位99 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人,《形式语法》。计算。10,第4号,361--380(1998;Zbl 1086.68556) 全文: 内政部
亚历山德罗·西马蒂;保罗·特拉弗索 通过机械化逻辑演绎进行计算反思。 (英语) Zbl 0854.68096号 《国际情报杂志》。系统。 11,第5期,279-293(1996).MSC公司:68T27型 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}和\textit{P.Traverso},国际情报杂志。系统。11,第5号,279--293(1996;Zbl 0854.68096) 全文: 内政部