Practical Model Reductions for Verification of Multi-Agent Systems

被引：0
|
作者：
Jamroga, Wojciech [1 ,2 ]
Kim, Yan [1 ]
机构：
[1] Univ Luxembourg, Interdisciplinary Ctr Secur Reliabil & Trust, Esch Sur Alzette, Luxembourg
[2] Polish Acad Sci, Inst Comp Sci, Warsaw, Poland
来源：
PROCEEDINGS OF THE THIRTY-SECOND INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, IJCAI 2023 | 2023年
关键词：
ABSTRACTION-REFINEMENT; CHECKING;
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
Formal verification of intelligent agents is often computationally infeasible due to state-space explosion. We present a tool for reducing the impact of the explosion by means of state abstraction that is (a) easy to use and understand by non-experts, and (b) agent-based in the sense that it operates on a modular representation of the system, rather than on its huge explicit state model.
引用
收藏
页码：7135 / 7139
页数：5
相关论文
共 50 条
  • [1] Practical verification of multi-agent systems against SLK specifications
    Cermak, Petr
    Lomuscio, Alessio
    Mogavero, Fabio
    Murano, Aniello
    [J]. INFORMATION AND COMPUTATION, 2018, 261 : 588 - 614
  • [2] MCMAS: A Model Checker for the Verification of Multi-Agent Systems
    Lomuscio, Alessio
    Qu, Hongyang
    Raimondi, Franco
    [J]. COMPUTER AIDED VERIFICATION, PROCEEDINGS, 2009, 5643 : 682 - +
  • [3] Towards verification of multi-agent systems
    Gruer, P
    Hilaire, V
    Koukam, A
    [J]. FOURTH INTERNATIONAL CONFERENCE ON MULTIAGENT SYSTEMS, PROCEEDINGS, 2000, : 393 - 394
  • [4] Debugging and Verification of Multi-Agent Systems
    Benac Earle, Clara
    Fredlund, Lars-Ake
    [J]. COMPUTER AIDED SYSTEMS THEORY - EUROCAST 2009, 2009, 5717 : 263 - 270
  • [5] Parameterised verification for multi-agent systems
    Kouvaros, Panagiotis
    Lomuscio, Alessio
    [J]. ARTIFICIAL INTELLIGENCE, 2016, 234 : 152 - 189
  • [6] Verification of multi-agent systems via bounded model checking
    Luo, Xiangyu
    Su, Kaile
    Sattar, Abdul
    Reynolds, Mark
    [J]. AI 2006: ADVANCES IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2006, 4304 : 69 - +
  • [7] Temporal verification of probabilistic multi-agent systems
    Dekhtyar, Michael I.
    Dikovsky, Alexander Ja.
    Valiev, Mars K.
    [J]. PILLARS OF COMPUTER SCIENCE, 2008, 4800 : 256 - +
  • [8] A Verification Framework for Normative Multi-Agent Systems
    Astefanoaei, Lacramioara
    Dastani, Mehdi
    Meyer, John-Jules
    de Boer, Frank S.
    [J]. INTELLIGENT AGENTS AND MULTI-AGENT SYSTEMS, PROCEEDINGS, 2008, 5357 : 54 - +
  • [9] Formal Verification of Open Multi-Agent Systems
    Kouvaros, Panagiotis
    Lomuscio, Alessio
    Pirovano, Edoardo
    Punchihewa, Hashan
    [J]. AAMAS '19: PROCEEDINGS OF THE 18TH INTERNATIONAL CONFERENCE ON AUTONOMOUS AGENTS AND MULTIAGENT SYSTEMS, 2019, : 179 - 187
  • [10] Modelling and verification of reconfigurable multi-agent systems
    Abd Alrahman, Yehia
    Piterman, Nir
    [J]. AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS, 2021, 35 (02)
12345