Model checking multi-agent programs with CASP

被引：0
|
作者：
Bordini, RH [1 ]
Fisher, M
Pardavila, C
Visser, W
Wooldridge, M
机构：
[1] Univ Liverpool, Dept Comp Sci, Liverpool L69 7ZF, Merseyside, England
[2] NASA, Ames Res Ctr, RIACS, Moffett Field, CA 94035 USA
来源：
COMPUTER AIDED VERIFICATION | 2003年 / 2725卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：110 / 113
页数：4
相关论文
共 50 条
  • [31] Model Checking and Strategy Synthesis for Multi-agent Systems for Resource Allocation
    Timm, Nils
    Botha, Josua
    FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2021, 2021, 13130 : 53 - 69
  • [32] Base-Based Model Checking for Multi-agent only Believing
    de Lima, Tiago
    Lorini, Emiliano
    Schwarzentruber, Francois
    LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2023, 2023, 14281 : 437 - 445
  • [33] Model checking multi-agent systems with logic based Petri nets
    Tristan M. Behrens
    Jürgen Dix
    Annals of Mathematics and Artificial Intelligence, 2007, 51 : 81 - 121
  • [34] Formal Verification of ALICA Multi-agent Plans Using Model Checking
    Thao Nguyen Van
    Fredivianus, Nugroho
    Huu Tam Tran
    Geihs, Kurt
    Thi Thanh Binh Huynh
    PROCEEDINGS OF THE NINTH INTERNATIONAL SYMPOSIUM ON INFORMATION AND COMMUNICATION TECHNOLOGY (SOICT 2018), 2018, : 351 - 358
  • [35] Reduction Model Checking for Multi-Agent Systems of Group Social Commitments
    AlFawwaz, Bader M.
    Al-Saqqar, Faisal
    AL-Shatnawi, Atallah
    COMPUTATION, 2022, 10 (06)
  • [36] Model checking algorithm for temporal logics of knowledge in multi-agent systems
    Wu, Li-Jun
    Su, Kai-Le
    Ruan Jian Xue Bao/Journal of Software, 2004, 15 (07): : 1012 - 1020
  • [37] Module Checking of Pushdown Multi-agent Systems
    Bozzelli, Laura
    Murano, Aniello
    Peron, Adriano
    KR2020: PROCEEDINGS OF THE 17TH INTERNATIONAL CONFERENCE ON PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING, 2020, : 162 - 171
  • [38] Checking multi-agent systems behavior properties
    Dekhtyar, M
    Dikovsky, A
    Valiev, M
    2002 IEEE INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE SYSTEMS, PROCEEDINGS, 2002, : 308 - 313
  • [39] Verifying Heterogeneous Multi-Agent Programs
    Thu Trang Doan
    Yao, Yuan
    Alechina, Natasha
    Logan, Brian
    AAMAS'14: PROCEEDINGS OF THE 2014 INTERNATIONAL CONFERENCE ON AUTONOMOUS AGENTS & MULTIAGENT SYSTEMS, 2014, : 149 - 156
  • [40] A logic for normative multi-agent programs
    Dastani, Mehdi
    Meyer, John-Jules Ch.
    Grossi, Davide
    JOURNAL OF LOGIC AND COMPUTATION, 2013, 23 (02) : 335 - 354
12345