Verification of agent-based artifact systems

被引：0
|
作者：
20153401193365
机构：
[1] Belardinelli, Francesco
[2] Lomuscio, Alessio
[3] Patrizi, Fabio
来源：
| 1600年 / AI Access Foundation卷 / 51期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Journal article (JA)
引用
收藏
相关论文
共 50 条
  • [21] Agent-based computing and programming of agent systems
    Luck, M
    McBurney, P
    Gonzalez-Palacios, J
    PROGRAMMING MULTI-AGENT SYSTEMS, 2006, 3862 : 23 - 37
  • [22] Timed Interpreted Systems as a New Agent-Based Formalism for Verification of Timed Security Protocols
    Zbrzezny, Agnieszka M.
    Siedlecka-Lamch, Olga
    Szymoniak, Sabina
    Zbrzezny, Andrzej
    Kurkowski, Miroslaw
    APPLIED SCIENCES-BASEL, 2024, 14 (22):
  • [23] Development and verification of an agent-based model of opinion leadership
    Anderson, Christine A.
    Titler, Marita G.
    IMPLEMENTATION SCIENCE, 2014, 9
  • [24] Validation and Verification of Agent-Based Models in the Social Sciences
    Ormerod, Paul
    Rosewell, Bridget
    EPISTEMOLOGICAL ASPECTS OF COMPUTER SIMULATION IN THE SOCIAL SCIENCES, 2009, 5466 : 130 - 140
  • [25] Development and verification of an agent-based model of opinion leadership
    Christine A Anderson
    Marita G Titler
    Implementation Science, 9
  • [26] An AGENT-BASED MODEL FOR CROWDSOURCING SYSTEMS
    Zou, Guangyu
    Gil, Alvaro
    Tharayil, Marina
    PROCEEDINGS OF THE 2014 WINTER SIMULATION CONFERENCE (WSC), 2014, : 407 - 418
  • [27] Agent-based scheduling in production systems
    Dang, TT
    Frankovic, B
    INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH, 2002, 40 (15) : 3669 - 3679
  • [28] Agent-Based Models of Geographical Systems
    Galan, Jose Manuel
    JASSS-THE JOURNAL OF ARTIFICIAL SOCIETIES AND SOCIAL SIMULATION, 2012, 15 (03):
  • [29] Agent-Based Structures of Robot Systems
    Zielinski, Cezary
    Winiarski, Tomasz
    Kornuta, Tomasz
    TRENDS IN ADVANCED INTELLIGENT CONTROL, OPTIMIZATION AND AUTOMATION, 2017, 577 : 493 - 502
  • [30] Methodological foundations for agent-based systems
    Fisher, M
    Muller, J
    Schroeder, M
    Staniford, G
    Wagner, G
    KNOWLEDGE ENGINEERING REVIEW, 1997, 12 (03): : 323 - 329
12345