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 条
  • [1] Verifying Multi-agent Programs by Model Checking
    Rafael H. Bordini
    Michael Fisher
    Willem Visser
    Michael Wooldridge
    Autonomous Agents and Multi-Agent Systems, 2006, 12 : 239 - 256
  • [2] Verifying multi-agent programs by model checking
    Bordini, RH
    Fisher, M
    Visser, W
    Wooldridge, M
    AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS, 2006, 12 (02) : 239 - 256
  • [3] Model checking multi-agent systems
    Yuan Mengting
    Yu Chao
    2007 INTERNATIONAL CONFERENCE ON SERVICE SYSTEMS AND SERVICE MANAGEMENT, VOLS 1-3, 2007, : 567 - +
  • [4] Model Checking Multi-Agent Systems
    Bourahla, Mustapha
    Benmohamed, Mohamed
    INFORMATICA-JOURNAL OF COMPUTING AND INFORMATICS, 2005, 29 (02): : 189 - 197
  • [5] Abstraction for model checking multi-agent systems
    Zhou, Conghua
    Sun, Bo
    Liu, Zhifeng
    FRONTIERS OF COMPUTER SCIENCE IN CHINA, 2011, 5 (01): : 14 - 25
  • [6] Model Checking Multi-agent Systems with APTL
    Wang, Haiyang
    Duan, Zhenhua
    Tian, Cong
    AD HOC & SENSOR WIRELESS NETWORKS, 2017, 37 (1-4) : 35 - 52
  • [7] A model checking algorithm for multi-agent systems
    Benerecetti, M
    Giunchiglia, F
    Serafini, L
    INTELLIGENT AGENTS V: AGENT THEORIES, ARCHITECTURES, AND LANGUAGES, 1999, 1555 : 163 - 176
  • [8] STATISTICAL MODEL CHECKING OF MULTI-AGENT SYSTEMS
    Nigro, Libero
    Sciammarella, Paolo F.
    PROCEEDINGS - 31ST EUROPEAN CONFERENCE ON MODELLING AND SIMULATION ECMS 2017, 2017, : 11 - 17
  • [9] Abstraction for model checking multi-agent systems
    Conghua Zhou
    Bo Sun
    Zhifeng Liu
    Frontiers of Computer Science in China, 2011, 5 : 14 - 25
  • [10] Dynamic model checking for multi-agent systems
    Osman, Nardine
    Robertson, David
    Walton, Christopher
    DECLARATIVE AGENT LANGUAGES AND TECHNOLOGIES IV, 2006, 4237 : 43 - +
12345