马西莫·贝内雷切蒂;福斯托·金奇利亚;卢西亚诺·塞拉菲尼 模型检查多代理系统。 （英语） Zbl 0904.68159号 J.日志。计算。 8，第3期，401-423（1998）. 摘要：模型检查是一种非常成功的技术，已应用于有限状态并发反应过程的设计和验证。在本文中，我们展示了如何将此技术提升到适用于多智能体系统。我们的方法允许我们重用模型检查中开发的技术和工具，以模块化和增量的方式设计和验证多智能体系统，并具有非常有效的模型检查算法。 引用于11文件 理学硕士： 68T27型 人工智能中的逻辑 68N99型 软件理论 关键词：模型检查;多智能体系统 PDF格式BibTeX公司 XML格式引用 \textit{M.Benerecetti}等人，J.Log。计算。8，第3号，401--423（1998；Zbl 0904.68159）