多代理系统的模型检测的实用抽象
摘要：在本文中，我们提出并研究了一种直观的基于代理的抽象方案，该方案基于去除多代理系统表示中的变量，从而可以在不生成系统的全局模型的情况下进行简化。此外，这个过程对于对计算机科学知识了解不多的领域专家来说，易于理解和控制。我们在一个邮政投票过程的模型上，经过形式化的正确性证明，并在实验中评估了该方法带来的收益。 标题：基于代理的抽象化方案在多代理系统模型检测中的应用
作者：Wojciech Jamroga, Yan Kim
论文ID：2202.12016
分类：Multiagent Systems
分类简称：cs.MA
提交时间：2023-01-18