An Extensive Model Checking Framework for Multi-agent Systems

被引：0

作者：

Song, Songzheng ^{[1
]}

Liu, Yang ^{[1
]}

Zhang, Jie ^{[1
]}

Sun, Jun ^{[2
]}

机构：

[1] Nanyang Technol Univ, Singapore, Singapore

[2] Singapore Univ Technol & Design, Singapore, Singapore

来源：

AAMAS'14: PROCEEDINGS OF THE 2014 INTERNATIONAL CONFERENCE ON AUTONOMOUS AGENTS & MULTIAGENT SYSTEMS | 2014年

关键词：

Formal Verification; Model Checking Framework; Extensibility;

D O I：

暂无

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

In this work, we propose a novel probabilistic modeling language PML-MAS to capture the stochastic characteristics of multi-agent systems (MASs). Moreover, we design a model checking framework for MAS, which is highly extensible. It provides powerful modeling editor, interactive simulator and automatic verifier for MASs. In addition, it can support various MAS model languages via extracting their semantic models and verification algorithms.

引用

页码：1645 / 1646

页数：2

共 50 条

[21] Verification of multi-agent systems via bounded model checking
Luo, Xiangyu
Su, Kaile
Sattar, Abdul
Reynolds, Mark
AI 2006: ADVANCES IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2006, 4304 : 69 - +
[22] Model checking cooperative multi-agent systems in BDI logic
Chen, Q. (tpchen@jnu.edu.cn), 1600, Binary Information Press, Flat F 8th Floor, Block 3, Tanner Garden, 18 Tanner Road, Hong Kong (09):
[23] Extensive epidemic spreading model based on multi-agent system framework
Tian, Chunhua
Ding, Wei
Cao, Rongzeng
Jiang, Shun
COMPUTATIONAL SCIENCE - ICCS 2007, PT 4, PROCEEDINGS, 2007, 4490 : 129 - +
[24] Module Checking of Pushdown Multi-agent Systems
Bozzelli, Laura
Murano, Aniello
Peron, Adriano
KR2020: PROCEEDINGS OF THE 17TH INTERNATIONAL CONFERENCE ON PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING, 2020, : 162 - 171
[25] Checking multi-agent systems behavior properties
Dekhtyar, M
Dikovsky, A
Valiev, M
2002 IEEE INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE SYSTEMS, PROCEEDINGS, 2002, : 308 - 313
[26] Model checking multi-agent systems with logic based Petri nets
Behrens, Tristan M.
Dix, Juergen
ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2007, 51 (2-4) : 81 - 121
[27] Model Checking and Strategy Synthesis for Multi-agent Systems for Resource Allocation
Timm, Nils
Botha, Josua
FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2021, 2021, 13130 : 53 - 69
[28] Model checking multi-agent systems with logic based Petri nets
Tristan M. Behrens
Jürgen Dix
Annals of Mathematics and Artificial Intelligence, 2007, 51 : 81 - 121
[29] Reduction Model Checking for Multi-Agent Systems of Group Social Commitments
AlFawwaz, Bader M.
Al-Saqqar, Faisal
AL-Shatnawi, Atallah
COMPUTATION, 2022, 10 (06)
[30] Model checking algorithm for temporal logics of knowledge in multi-agent systems
Wu, Li-Jun
Su, Kai-Le
Ruan Jian Xue Bao/Journal of Software, 2004, 15 (07): : 1012 - 1020

← 1 2 3 4 5 →