皮耶乔治·贝尔托利;亚历山德罗·西马蒂;马可·罗维里;保罗·特拉弗索 部分可观测性下的强规划。 (英语) 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.西马蒂。;M·皮斯托尔。;Roveri,M。;特拉弗索,P。 通过符号模型检查进行弱、强和强循环规划。 (英语) Zbl 1082.68800号 Artif公司。智力。 147,编号1-2,35-84(2003).MSC公司:68T20型 2005年第68季度 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人,Artif。智力。147,编号1--2,35-84(2003;Zbl 1082.68800) 全文: 内政部