罗伯托·塞巴斯蒂亚尼;伊莱·辛格曼;斯特凡诺·托内塔;莫舍·瓦尔迪。 GSTE是分区模型检查。 (英语) Zbl 1129.68044号 形式方法系统。设计。 第2期第31页,177-196(2007).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Sebastiani}等人,《形式方法系统》。设计。31,第2号,177--196(2007;Zbl 1129.68044) 全文: 内政部
皮耶乔治·贝尔托利;亚历山德罗·西马蒂;马可·罗维里;保罗·特拉弗斯 部分可观测性下的强规划。 (英语) 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.罗维里。;伯托利,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) 全文: 内政部