Formal approaches to multi-agent sysems

被引：0
|
作者：
Rineke Verbrugge
Barbara Dunin-Kȩplicz
机构：
[1] University of Groningen,
来源：
Autonomous Agents and Multi-Agent Systems | 2009年 / 19卷
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：1 / 3
页数：2
相关论文
共 50 条
  • [41] Integrating Mechatronic Thinking and Multi-agent Approaches
    Foehr, M.
    Leitao, P.
    Wagner, T.
    Jaeger, T.
    Lueder, A.
    2012 IEEE 17TH CONFERENCE ON EMERGING TECHNOLOGIES & FACTORY AUTOMATION (ETFA), 2012,
  • [42] Analyzing myopic approaches for multi-agent communication
    Becker, R
    Lesser, V
    Zilberstein, S
    2005 IEEE/WIC/ACM INTERNATIONAL CONFERENCE ON INTELLIGENT AGENT TECHNOLOGY, PROCEEDINGS, 2005, : 550 - 557
  • [43] Empirical Evaluation of Multi-Agent Routing Approaches
    ter Mors, Adriaan
    Witteveen, Cees
    Ipema, Charlotte
    de Nijs, Frits
    Tsiourakis, Theodor
    2012 IEEE/WIC/ACM INTERNATIONAL CONFERENCE ON WEB INTELLIGENCE AND INTELLIGENT AGENT TECHNOLOGY (WI-IAT 2012), VOL 2, 2012, : 305 - 309
  • [44] Multi-Agent Pattern Recognition: Approaches and Application
    Liu, Chang-ning
    Chen, Long
    Liang, Jun
    Zhu, Ning
    Takashi, Tsuchiya
    2015 INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS, MACHINERY AND MATERIALS (IIMM 2015), 2015, : 24 - 29
  • [45] Formal method to model early requirement of multi-agent system
    Mao, Xin-Jun
    Yu, Eric
    Wuhan University Journal of Natural Sciences, 2004, 9 (04) : 439 - 443
  • [46] Formal multi-agent systems model with application to electronic commerce
    Yu, Zhenhua
    Liu, Fenglei
    Cai, Yuanli
    DYNAMICS OF CONTINUOUS DISCRETE AND IMPULSIVE SYSTEMS-SERIES B-APPLICATIONS & ALGORITHMS, 2006, 13E : 2711 - 2715
  • [47] Conception, behavioural semantics and formal specification of multi-agent systems
    Chainbi, W
    Jmaiel, M
    Abdelmajid, BH
    MULTI-AGENT SYSTEMS: THEORIES, LANGUAGES, AND APPLICATIONS, 1998, 1544 : 16 - 28
  • [48] Tableau methods for formal verification of multi-agent distributed systems
    Massacci, F
    JOURNAL OF LOGIC AND COMPUTATION, 1998, 8 (03) : 373 - 400
  • [49] Formal model of open and hybrid architecture of multi-agent systems
    Chen, Jincai, 2000, (34):
  • [50] Formal Reachability Analysis for Multi-Agent Reinforcement Learning Systems
    Wang, Xiaoyan
    Peng, Jun
    Li, Shuqiu
    Li, Bing
    IEEE ACCESS, 2021, 9 : 45812 - 45821
12345