朱利安·古铁雷斯;保罗·哈伦斯坦;迈克尔·伍尔德里奇 从模型检查到平衡检查:用于理性验证的反应性模块。 (英语) Zbl 1420.68129号 Artif公司。智力。 248, 123-157 (2017).MSC公司:60年第68季度 03B44号 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{J.Gutierrez}等人,Artif。智力。248123-157(2017;Zbl 1420.68129) 全文: 内政部 链接
奇塔·巴拉尔;托马斯·艾特;马库斯·比亚雷兰德;中村、木须 代理人在动态环境中的维护目标:制定和政策建设。 (英语) Zbl 1183.68630号 Artif公司。智力。 172,编号12-13,1429-1469(2008).MSC公司:68T42型 PDF格式BibTeX公司 XML格式引用 \textit{C.Baral}等人,Artif。智力。172,编号12--13,1429--1469(2008;Zbl 1183.68630) 全文: 内政部
A.西马蒂。;M·皮斯托尔。;Roveri,M。;特拉弗索,P。 通过符号模型检查进行弱、强和强循环规划。 (英语) Zbl 1082.68800号 Artif公司。智力。 147,编号1-2,35-84(2003).MSC公司:68分20秒 2005年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人,Artif。智力。147,编号1--2,35-84(2003;Zbl 1082.68800) 全文: 内政部
卡班扎,F。;M.巴博。;圣丹尼斯,R。 反应剂的规划控制规则。 (英语) Zbl 0894.68138号 Artif公司。智力。 95,第1期,67-113(1997).MSC公司:68分20秒 PDF格式BibTeX公司 XML格式引用 \textit{F.Kabanza}等人,人工制品。智力。95,第1号,67--113(1997;Zbl 0894.68138) 全文: 内政部