Multi-Agent Object Level AI Validation and Verification

被引：0
|
作者：
Nourani, C. F.
机构：
来源：
Software Engineering Notes | / 21卷 / 01期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] Multi-Agent Verification and Validation for RFID System Architecture
    Lockman, Muhammad Tarmizi
    Selamat, Ali
    ICED: 2008 INTERNATIONAL CONFERENCE ON ELECTRONIC DESIGN, VOLS 1 AND 2, 2008, : 356 - 360
  • [2] A sociological framework for multi-agent systems validation and verification'
    Fuentes, R
    Gómez-Sanz, JJ
    Pavón, J
    CONCEPTUAL MODELING FOR ADVANCED APPLICATION DOMAINS, PROCEEDINGS, 2004, 3289 : 458 - 469
  • [3] Validation and Verification of Joint-Actions in Multi-Agent Planning
    Nath, Amar
    Niyogi, Rajdeep
    2015 14TH INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY (ICIT 2015), 2015, : 187 - 192
  • [4] A generalized methodology and framework for the Validation and Verification of Multi-Agent Systems
    Jabbar, S
    Zaidi, AK
    2001 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5: E-SYSTEMS AND E-MAN FOR CYBERNETICS IN CYBERSPACE, 2002, : 835 - 840
  • [5] Towards verification of multi-agent systems
    Gruer, P
    Hilaire, V
    Koukam, A
    FOURTH INTERNATIONAL CONFERENCE ON MULTIAGENT SYSTEMS, PROCEEDINGS, 2000, : 393 - 394
  • [6] Debugging and Verification of Multi-Agent Systems
    Benac Earle, Clara
    Fredlund, Lars-Ake
    COMPUTER AIDED SYSTEMS THEORY - EUROCAST 2009, 2009, 5717 : 263 - 270
  • [7] Pushdown Multi-Agent System Verification
    Murano, Aniello
    Perelli, Giuseppe
    PROCEEDINGS OF THE TWENTY-FOURTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI), 2015, : 1090 - 1096
  • [8] Parameterised verification for multi-agent systems
    Kouvaros, Panagiotis
    Lomuscio, Alessio
    ARTIFICIAL INTELLIGENCE, 2016, 234 : 152 - 189
  • [9] Multi-agent Verification of RFID System
    Selamat, Ali
    Lockman, Muhammad Tarmizi
    NEW CHALLENGES IN COMPUTATIONAL COLLECTIVE INTELLIGENCE, 2009, 244 : 255 - 268
  • [10] Multi-Agent Motion Planning and Object Transportation under High Level Goals
    Verginis, Christos K.
    Dimarogonas, Dimos V.
    IFAC PAPERSONLINE, 2017, 50 (01): : 15816 - 15821
12345