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 条
  • [41] Normative Multi-agent Programs and Their Logics
    Dastani, Mehdi
    Grossi, Davide
    Meyer, John-Jules Ch.
    Tinnemeier, Nick
    KNOWLEDGE REPRESENTATION FOR AGENTS AND MULTI-AGENT SYSTEMS, 2009, 5605 : 16 - +
  • [42] Symbolic Model Checking Multi-Agent Systems against CTL*K Specifications
    Kong, Jeremy
    Lomuscio, Alessio
    AAMAS'17: PROCEEDINGS OF THE 16TH INTERNATIONAL CONFERENCE ON AUTONOMOUS AGENTS AND MULTIAGENT SYSTEMS, 2017, : 114 - 122
  • [43] Model Checking the SELENE E-Voting Protocol in Multi-agent Logics
    Jamroga, Wojciech
    Knapik, Michal
    Kurpiewski, Damian
    ELECTRONIC VOTING, 2018, 11143 : 100 - 116
  • [44] Bounded model checking algorithm to reduce the state space in multi-agent systems
    Zhou, Cong-Hua
    Ye, Meng
    Wang, Chang-Da
    Liu, Zhi-Feng
    Ruan Jian Xue Bao/Journal of Software, 2012, 23 (11): : 2835 - 2861
  • [45] Verifying epistemic properties of multi-agent systems via bounded model checking
    Penczek, W
    Lomuscio, A
    FUNDAMENTA INFORMATICAE, 2003, 55 (02) : 167 - 185
  • [46] Verifying Multi-Agent Systems by Model Checking Three-valued Abstractions
    Lomuscio, Alessio
    Michaliszyn, Jakub
    PROCEEDINGS OF THE 2015 INTERNATIONAL CONFERENCE ON AUTONOMOUS AGENTS & MULTIAGENT SYSTEMS (AAMAS'15), 2015, : 189 - 198
  • [47] Transformation-based model checking temporal trust in multi-agent systems
    Drawel, Nagat
    Laarej, Amine
    Bentahar, Jamal
    El Menshawy, Mohamed
    JOURNAL OF SYSTEMS AND SOFTWARE, 2022, 192
  • [48] Towards symbolic model checking for multi-agent systems via OBDD's
    Raimondi, F
    Lomuscio, A
    FORMAL APPROACHES TO AGENT-BASED SYSTEMS, 2005, 3228 : 213 - 221
  • [49] Verification of Multi-Agent Systems via SDD-based Model Checking
    Lomuscio, Alessio
    Paquet, Hugo
    PROCEEDINGS OF THE 2015 INTERNATIONAL CONFERENCE ON AUTONOMOUS AGENTS & MULTIAGENT SYSTEMS (AAMAS'15), 2015, : 1713 - 1714
  • [50] Model Checking Properties of Multi-agent Systems with Imperfect Information and Imperfect Recall
    Pilecki, Jerzy
    Bednarczyk, Marek A.
    Jamroga, Wojciech
    INTELLIGENT SYSTEMS'2014, VOL 1: MATHEMATICAL FOUNDATIONS, THEORY, ANALYSES, 2015, 322 : 415 - 426
12345