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 条
  • [21] Imprecise Probabilistic Model Checking for Stochastic Multi-agent Systems
    Termine A.
    Antonucci A.
    Primiero G.
    Facchini A.
    SN Computer Science, 4 (5)
  • [22] The Impact of Strategies and Information in Model Checking for Multi-Agent Systems
    Malvone, Vadim
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2023, 391 : 63 - 70
  • [23] Analyzing Multi-agent Systems with Probabilistic Model Checking Approach
    Song, Songzheng
    Hao, Jianye
    Liu, Yang
    Sun, Jun
    Leung, Ho-Fung
    Dong, Jin Song
    2012 34TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE), 2012, : 1337 - 1340
  • [24] Model checking combined trust and commitments in Multi-Agent Systems
    Baharloo, Narges
    Bentahar, Jamal
    Drawel, Nagat
    Pedrycz, Witold
    EXPERT SYSTEMS WITH APPLICATIONS, 2024, 243
  • [25] Verifying multi-agent systems via unbounded model checking
    Kacprzak, M
    Lomuscio, A
    Lasica, T
    Penczek, W
    Szreter, M
    FORMAL APPROACHES TO AGENT-BASED SYSTEMS, 2005, 3228 : 189 - 212
  • [26] Model Checking GSM-Based Multi-Agent Systems
    Gonzalez, Pavel
    Griesmayer, Andreas
    Lomuscio, Alessio
    SERVICE-ORIENTED COMPUTING - ICSOC 2013 WORKSHOPS, 2014, 8377 : 54 - 68
  • [27] Verification of multi-agent systems via bounded model checking
    Luo, Xiangyu
    Su, Kaile
    Sattar, Abdul
    Reynolds, Mark
    AI 2006: ADVANCES IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2006, 4304 : 69 - +
  • [28] Model checking cooperative multi-agent systems in BDI logic
    Chen, Q. (tpchen@jnu.edu.cn), 1600, Binary Information Press, Flat F 8th Floor, Block 3, Tanner Garden, 18 Tanner Road, Hong Kong (09):
  • [29] Verifiable multi-agent programs
    Bordini, RH
    Fisher, M
    Visser, W
    Wooldridge, M
    PROGRAMMING MULTI-AGENT SYSTEMS, 2003, 3067 : 72 - 89
  • [30] Model checking multi-agent systems with logic based Petri nets
    Behrens, Tristan M.
    Dix, Juergen
    ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2007, 51 (2-4) : 81 - 121
12345