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 条

[41] On feasible cases of checking multi-agent systems behavior
Dekhtyar, M
Dikovsky, A
Valiev, M
THEORETICAL COMPUTER SCIENCE, 2003, 303 (01) : 63 - 81
[42] Towards symbolic model checking for multi-agent systems via OBDD's
Raimondi, F
Lomuscio, A
FORMAL APPROACHES TO AGENT-BASED SYSTEMS, 2005, 3228 : 213 - 221
[43] Multi-agent framework for adaptive systems
Ojo, AK
Rahman, RM
IC'03: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON INTERNET COMPUTING, VOLS 1 AND 2, 2003, : 437 - 441
[44] A framework for designing multi-agent systems
Park, W
Park, S
Sugumaran, V
KNOWLEDGE-BASED INTELLIGENT INFORMATION ENGINEERING SYSTEMS & ALLIED TECHNOLOGIES, PTS 1 AND 2, 2001, 69 : 54 - 60
[45] Verification of Multi-Agent Systems via SDD-based Model Checking
Lomuscio, Alessio
Paquet, Hugo
PROCEEDINGS OF THE 2015 INTERNATIONAL CONFERENCE ON AUTONOMOUS AGENTS & MULTIAGENT SYSTEMS (AAMAS'15), 2015, : 1713 - 1714
[46] Model Checking Properties of Multi-agent Systems with Imperfect Information and Imperfect Recall
Pilecki, Jerzy
Bednarczyk, Marek A.
Jamroga, Wojciech
INTELLIGENT SYSTEMS'2014, VOL 1: MATHEMATICAL FOUNDATIONS, THEORY, ANALYSES, 2015, 322 : 415 - 426
[47] Model Checking Multi-Agent Systems against LDLK Specifications on Finite Traces
Kong, Jeremy
Lomuscio, Alessio
PROCEEDINGS OF THE 17TH INTERNATIONAL CONFERENCE ON AUTONOMOUS AGENTS AND MULTIAGENT SYSTEMS (AAMAS' 18), 2018, : 166 - 174
[48] A Compositional Automata-based Approach for Model Checking Multi-Agent Systems
Benevides, Mario
Delgado, Carla
Pombo, Carlos
Lopes, Luis
Ribeiro, Ricardo
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 195 : 133 - 149
[49] Decidability of model checking multi-agent systems against a class of EHS specifications
Lomuscio, Alessio R.
Michaliszyn, Jakub
21ST EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE (ECAI 2014), 2014, 263 : 543 - 548
[50] Model checking temporal knowledge and commitments in multi-agent systems using reduction
Al-Saqqar, Faisal
Bentahar, Jamal
Sultan, Khalid
Wan, Wei
Asl, Ehsan Khosrowshahi
SIMULATION MODELLING PRACTICE AND THEORY, 2015, 51 : 45 - 68

← 1 2 3 4 5 →