论文标题
R-Chececk：用于验证可重构MAS的模型检查器
R-CHECK: A Model Checker for Verifying Reconfigurable MAS
论文作者
论文摘要
可重新配置的多代理系统由一组自主代理组成，具有集成的相互作用功能，具有机会性交互。代理似乎通过形成集体并根据共同利益来重新配置其相互作用。寻找和分析这些系统行为的方法是一个强大的研究目标。我们建议使用一个名为R-Check的模型检查器，以允许从个体和系统级别对这些系统进行推理。 R检查还允许有关交互协议和联合任务的推理。 R-Check支持具有符号语义的高级输入语言，并为诸如重新配置，联盟形成，自我组织等诸如互动功能等互动功能提供了建模便利性。
Reconfigurable multi-agent systems consist of a set of autonomous agents, with integrated interaction capabilities that feature opportunistic interaction. Agents seemingly reconfigure their interactions interfaces by forming collectives, and interact based on mutual interests. Finding ways to design and analyse the behaviour of these systems is a vigorously pursued research goal. We propose a model checker, named R-CHECK, to allow reasoning about these systems both from an individual- and a system- level. R-CHECK also permits reasoning about interaction protocols and joint missions. R-CHECK supports a high-level input language with symbolic semantics, and provides a modelling convenience for interaction features such as reconfiguration, coalition formation, self-organisation, etc.
