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 条

[31] Verifying Multi-agent Programs by Model Checking
Rafael H. Bordini
Michael Fisher
Willem Visser
Michael Wooldridge
Autonomous Agents and Multi-Agent Systems, 2006, 12 : 239 - 256
[32] Model checking multi-agent programs with CASP
Bordini, RH
Fisher, M
Pardavila, C
Visser, W
Wooldridge, M
COMPUTER AIDED VERIFICATION, 2003, 2725 : 110 - 113
[33] Verifying multi-agent programs by model checking
Bordini, RH
Fisher, M
Visser, W
Wooldridge, M
AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS, 2006, 12 (02) : 239 - 256
[34] Symbolic Model Checking Multi-Agent Systems against CTL*K Specifications
Kong, Jeremy
Lomuscio, Alessio
AAMAS'17: PROCEEDINGS OF THE 16TH INTERNATIONAL CONFERENCE ON AUTONOMOUS AGENTS AND MULTIAGENT SYSTEMS, 2017, : 114 - 122
[35] Bounded model checking algorithm to reduce the state space in multi-agent systems
Zhou, Cong-Hua
Ye, Meng
Wang, Chang-Da
Liu, Zhi-Feng
Ruan Jian Xue Bao/Journal of Software, 2012, 23 (11): : 2835 - 2861
[36] An Observation Framework for Multi-Agent Systems
Kesaniemi, Joonas
Katasonov, Artem
Terziyan, Vagan
ICAS: 2009 FIFTH INTERNATIONAL CONFERENCE ON AUTONOMIC AND AUTONOMOUS SYSTEMS, 2009, : 336 - 341
[37] Multi-agent framework for distributed systems
Deng, C
Gang, YJ
PROCEEDINGS OF THE 2004 INTERNATIONAL CONFERENCE ON MACHINE LEARNING AND CYBERNETICS, VOLS 1-7, 2004, : 22 - 25
[38] Verifying epistemic properties of multi-agent systems via bounded model checking
Penczek, W
Lomuscio, A
FUNDAMENTA INFORMATICAE, 2003, 55 (02) : 167 - 185
[39] Verifying Multi-Agent Systems by Model Checking Three-valued Abstractions
Lomuscio, Alessio
Michaliszyn, Jakub
PROCEEDINGS OF THE 2015 INTERNATIONAL CONFERENCE ON AUTONOMOUS AGENTS & MULTIAGENT SYSTEMS (AAMAS'15), 2015, : 189 - 198
[40] Transformation-based model checking temporal trust in multi-agent systems
Drawel, Nagat
Laarej, Amine
Bentahar, Jamal
El Menshawy, Mohamed
JOURNAL OF SYSTEMS AND SOFTWARE, 2022, 192

← 1 2 3 4 5 →