摘要：智能Agent的形式验证通常由于状态空间爆炸而在计算上是不可行的。我们提出了一种工具，通过状态抽象来减轻爆炸的影响，这种工具（a）易于非专家使用和理解，（b）是基于Agent的，意味着它在系统的模块化表示上操作，而不是在其庞大的显式状态模型上操作。
作者：Wojciech Jamroga, Yan Kim
论文ID：2307.10068
分类：Multiagent Systems
分类简称：cs.MA
提交时间：2023-07-20
PDF 下载： 英文版 中文版pdf翻译中