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 条
  • [41] 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
  • [42] Cooperative reuse for compositional cases in multi-agent systems
    Plaza, E
    CASE-BASED REASONING RESEARCH AND DEVELOPMENT, PROCEEDINGS, 2005, 3620 : 382 - 396
  • [43] 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
  • [44] Model checking multi-agent programs with CASP
    Bordini, RH
    Fisher, M
    Pardavila, C
    Visser, W
    Wooldridge, M
    COMPUTER AIDED VERIFICATION, 2003, 2725 : 110 - 113
  • [45] 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
  • [46] Continuations and behavior components engineering in multi-agent systems
    Jouvin, Denis
    MULTIAGENT SYSTEM TECHNOLOGIES, PROCEEDINGS, 2006, 4196 : 147 - 158
  • [47] An evolutionary behavior tool for reactive multi-agent systems
    Cordenonsi, AZ
    Alvares, LO
    ADVANCES IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2002, 2507 : 334 - 344
  • [48] An Architecture for Identifying Emergent Behavior in Multi-Agent Systems
    Birdsey, Lachlan
    Szabo, Claudia
    AAMAS'14: PROCEEDINGS OF THE 2014 INTERNATIONAL CONFERENCE ON AUTONOMOUS AGENTS & MULTIAGENT SYSTEMS, 2014, : 1455 - 1456
  • [49] 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
  • [50] 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
12345