On feasible cases of checking multi-agent systems behavior

被引：5

作者：

Dekhtyar, M ^{[1
]}

Dikovsky, A

Valiev, M

机构：

[1] Tver State Univ, Dept Comp Sci, Tver 170000, Russia

[2] Univ Nantes, IRIN, F-44322 Nantes 03, France

[3] MV Keldysh Appl Math Inst, Moscow 125047, Russia

来源：

THEORETICAL COMPUTER SCIENCE | 2003年 / 303卷 / 01期

关键词：

multi-agent system; temporal logics; model checking; complexity;

D O I：

10.1016/S0304-3975(02)00445-0

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

The complexity of multi-agent systems behavior properties is studied. The behavior properties are formulated using classical temporal logic languages and are checked relative to the transition system induced by the multi-agent system definition. We show that there are deterministic or nondeterministic polynomial time check algorithms under some realistic structural and semantic restrictions on agent programs and actions. (C) 2002 Elsevier Science B.V. All rights reserved.

引用

页码：63 / 81

页数：19

共 50 条

[31] Verifying multi-agent systems via unbounded model checking
Kacprzak, M
Lomuscio, A
Lasica, T
Penczek, W
Szreter, M
FORMAL APPROACHES TO AGENT-BASED SYSTEMS, 2005, 3228 : 189 - 212
[32] Model Checking GSM-Based Multi-Agent Systems
Gonzalez, Pavel
Griesmayer, Andreas
Lomuscio, Alessio
SERVICE-ORIENTED COMPUTING - ICSOC 2013 WORKSHOPS, 2014, 8377 : 54 - 68
[33] 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 - +
[34] 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):
[35] 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
[36] SMT-based Safety Checking of Parameterized Multi-Agent Systems
Felli, Paolo
Gianola, Alessandro
Montali, Marco
THIRTY-FIFTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, THIRTY-THIRD CONFERENCE ON INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE AND THE ELEVENTH SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, 2021, 35 : 6321 - 6330
[37] Checking Multi-Agent Systems against Temporal-Epistemic Specifications
Chen, Ran
Zhang, Wenhui
2019 24TH INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS 2019), 2019, : 21 - 30
[38] 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
[39] 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
[40] Reduction Model Checking for Multi-Agent Systems of Group Social Commitments
AlFawwaz, Bader M.
Al-Saqqar, Faisal
AL-Shatnawi, Atallah
COMPUTATION, 2022, 10 (06)

← 1 2 3 4 5 →