Finding Uniform Strategies for Multi-agent Systems

被引：0
|
作者：
Calta, Jan [1 ]
Shkatov, Dmitry [2 ]
Schlingloff, Holger [1 ,3 ]
机构：
[1] Humboldt Univ, Berlin, Germany
[2] Univ Witwatersrand, ZA-2050 Johannesburg, South Africa
[3] Humboldt Univ, Berlin, Germany
来源：
COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS | 2010年 / 6245卷
基金：
新加坡国家研究基金会;
关键词：
CLIQUES;
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
We present an algorithm for finding uniform strategies in multi-agent systems with incomplete information. The algorithm finds all maximal uniform strategies for agents with incomplete information for enforcing a property expressible in the language of Alternating-time Temporal Logic ATL. The main application of the algorithm is automated program synthesis for systems that can be modeled as multi-agent systems with incomplete information (e.g., decentralized distributed systems).
引用
收藏
页码：135 / +
页数：2
相关论文
共 50 条
  • [1] SMC: synthesis of uniform strategies and verification of strategic ability for multi-agent systems
    Pilecki, Jerzy
    Bednarczyk, Marek A.
    Jamroga, Wojciech
    [J]. JOURNAL OF LOGIC AND COMPUTATION, 2017, 27 (07) : 1871 - 1895
  • [2] Containment Control of Multi-agent Systems with Uniform Quantization
    Li, Liya
    Shi, Peng
    Zhao, Yuxin
    Zhou, Di
    Xing, Wen
    [J]. CIRCUITS SYSTEMS AND SIGNAL PROCESSING, 2019, 38 (09) : 3952 - 3970
  • [3] A Collaborative Multi-Agent for Finding Genetic Regulatory Systems
    Muchtar, Elvayandri
    Suwandi, Adang
    [J]. 2009 INTERNATIONAL CONFERENCE ON ELECTRICAL ENGINEERING AND INFORMATICS, VOLS 1 AND 2, 2009, : 147 - 151
  • [4] Uniform synchronization in multi-agent systems with switching topologies
    Monshizadeh, Nima
    Trentelman, Harry L.
    Camlibel, M. Kanat
    [J]. INTERNATIONAL JOURNAL OF ROBUST AND NONLINEAR CONTROL, 2016, 26 (09) : 1888 - 1901
  • [5] Containment Control of Multi-agent Systems with Uniform Quantization
    Liya Li
    Peng Shi
    Yuxin Zhao
    Di Zhou
    Wen Xing
    [J]. Circuits, Systems, and Signal Processing, 2019, 38 : 3952 - 3970
  • [6] Dynamic Coordination of Strategies for Multi-agent Systems
    Kravets, Petro
    Lytvyn, Vasyl
    Vysotska, Victoria
    Ryshkovets, Yuriy
    Vyshemyrska, Svitlana
    Smailova, Saule
    [J]. LECTURE NOTES IN COMPUTATIONAL INTELLIGENCE AND DECISION MAKING (ISDMCI 2020), 2020, 1246 : 653 - 670
  • [7] Impact of Communication Constraints on Consensus Finding in Multi-Agent Systems
    Goddemeier, Niklas
    Behnke, Daniel
    Wietfeld, Christian
    [J]. 2013 IEEE 24TH INTERNATIONAL SYMPOSIUM ON PERSONAL, INDOOR, AND MOBILE RADIO COMMUNICATIONS (PIMRC), 2013, : 2464 - 2468
  • [8] Finding Communities in Recommendation Systems by Multi-agent Spatial Dynamics
    Ozaeta, Leire
    Grana, Manuel
    [J]. HYBRID ARTIFICIAL INTELLIGENT SYSTEMS, HAIS 2017, 2017, 10334 : 577 - 587
  • [9] Consensus in Multi-Agent Systems with Non-uniform Sampling
    Wu, Jian
    Shi, Yang
    Li, Huxiong
    [J]. 2013 AMERICAN CONTROL CONFERENCE (ACC), 2013, : 3260 - 3265
  • [10] Automated Negotiation Strategies Prediction in Multi-Agent Systems
    Sirbu, Lavinia-Stefania
    Radu, Serban
    [J]. 2017 19TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING (SYNASC 2017), 2017, : 255 - 262
12345