R-CHECK：一种面向可重构MAS的并行模型
R-CHECK: A Model Checker for Verifying Reconfigurable MAS
摘要：
可重构多智能体系统由一组自主智能体组成，具有集成的交互能力，具有机会交互的特点。智能体似乎通过形成集体来重新配置它们的交互界面，并基于共同利益进行交互。找到设计和分析这些系统行为的方法是一个积极追求的研究目标。我们提出了一个模型检查器，名为R-100，允许推理这些系统都从个人和系统级。R-CNET还允许对交互协议和联合任务进行推理。R-UML支持符号语义的高级输入语言，并为交互特征（如重新配置、联盟形成、自组织等）提供建模便利。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
