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 条

[1] Model checking multi-agent systems
Yuan Mengting
Yu Chao
2007 INTERNATIONAL CONFERENCE ON SERVICE SYSTEMS AND SERVICE MANAGEMENT, VOLS 1-3, 2007, : 567 - +
[2] Model Checking Multi-Agent Systems
Bourahla, Mustapha
Benmohamed, Mohamed
INFORMATICA-JOURNAL OF COMPUTING AND INFORMATICS, 2005, 29 (02): : 189 - 197
[3] Abstraction for model checking multi-agent systems
Zhou, Conghua
Sun, Bo
Liu, Zhifeng
FRONTIERS OF COMPUTER SCIENCE IN CHINA, 2011, 5 (01): : 14 - 25
[4] Model Checking Multi-agent Systems with APTL
Wang, Haiyang
Duan, Zhenhua
Tian, Cong
AD HOC & SENSOR WIRELESS NETWORKS, 2017, 37 (1-4) : 35 - 52
[5] A model checking algorithm for multi-agent systems
Benerecetti, M
Giunchiglia, F
Serafini, L
INTELLIGENT AGENTS V: AGENT THEORIES, ARCHITECTURES, AND LANGUAGES, 1999, 1555 : 163 - 176
[6] STATISTICAL MODEL CHECKING OF MULTI-AGENT SYSTEMS
Nigro, Libero
Sciammarella, Paolo F.
PROCEEDINGS - 31ST EUROPEAN CONFERENCE ON MODELLING AND SIMULATION ECMS 2017, 2017, : 11 - 17
[7] Abstraction for model checking multi-agent systems
Conghua Zhou
Bo Sun
Zhifeng Liu
Frontiers of Computer Science in China, 2011, 5 : 14 - 25
[8] Dynamic model checking for multi-agent systems
Osman, Nardine
Robertson, David
Walton, Christopher
DECLARATIVE AGENT LANGUAGES AND TECHNOLOGIES IV, 2006, 4237 : 43 - +
[9] Model-Checking for Heterogeneous Multi-Agent Systems
Zhang Y.-D.
Song F.
Ruan Jian Xue Bao/Journal of Software, 2018, 29 (06): : 1582 - 1594
[10] Global Model Checking on Pushdown Multi-Agent Systems
Chen, Taolue
Song, Fu
Wu, Zhilin
THIRTIETH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2016, : 2459 - 2465

← 1 2 3 4 5 →