乌古尔·库特;瑙,达纳;马可·皮斯托雷;保罗·特拉弗索 抽象状态下的任务分解,用于非确定性规划。 (英语) Zbl 1191.68636号 Artif公司。智力。 173,编号5-6,669-695(2009).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{U.Kuter}等人,Artif。智力。173,编号5--6669-695(2009年;兹bl 1191.68636) 全文: 内政部
A.西马蒂。;M·皮斯托尔。;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) 全文: 内政部