皮耶乔治·贝尔托利;亚历山德罗·西马蒂;马可·罗维里;保罗·特拉弗索 部分可观测性下的强规划。 （英语） 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.罗维里。;伯托利，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） 全文： 内政部
亚历山德罗·西马蒂;马可·罗维里;皮耶乔治·贝尔托利 通过结合显式状态和符号模型检查来搜索功率集自动机。 （英语） Zbl 0978.68546号 Margaria，Tiziana（编辑）等，系统构建和分析的工具和算法。2001年4月2日至6日在意大利热那瓦举行的第七届国际会议TACAS 2001，是欧洲软件理论与实践联合会议ETAPS 2001的一部分。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。2031, 313-327 (2001).MSC公司：第68季度第60季度 65年第68季度 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人，Lect。票据计算。科学。2031313--327（2001；Zbl 0978.68546） 全文： 链接