摘要：基于置信依据的多智能体仅信仰语言的新颖语义及其应用研究标题：自动检查多智能体仅信仰语言及其动态扩展的公式的方法
作者：Tiago de Lima, Emiliano Lorini and Franc{c}ois Schwarzentruber
论文ID：2307.14893
分类：Artificial Intelligence
分类简称：cs.AI
提交时间：2023-07-28
PDF 下载： 英文版 中文版pdf翻译中