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 条
  • [11] Multi-agent Verification and Control with Probabilistic Model Checking
    Parker, David
    QUANTITATIVE EVALUATION OF SYSTEMS, QEST 2023, 2023, 14287 : 1 - 9
  • [12] An Extensive Model Checking Framework for Multi-agent Systems
    Song, Songzheng
    Liu, Yang
    Zhang, Jie
    Sun, Jun
    AAMAS'14: PROCEEDINGS OF THE 2014 INTERNATIONAL CONFERENCE ON AUTONOMOUS AGENTS & MULTIAGENT SYSTEMS, 2014, : 1645 - 1646
  • [13] Model-Checking for Heterogeneous Multi-Agent Systems
    Zhang Y.-D.
    Song F.
    Ruan Jian Xue Bao/Journal of Software, 2018, 29 (06): : 1582 - 1594
  • [14] Global Model Checking on Pushdown Multi-Agent Systems
    Chen, Taolue
    Song, Fu
    Wu, Zhilin
    THIRTIETH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2016, : 2459 - 2465
  • [15] Model checking game properties of multi-agent systems
    Henzinger, TA
    AUTOMATA, LANGUAGES AND PROGRAMMING, 1998, 1443 : 543 - 543
  • [16] The method of model checking policy of multi-agent interaction
    Zhang, Tao
    Xie, Hong
    Huang, Shao-Bin
    Dianzi Keji Daxue Xuebao/Journal of the University of Electronic Science and Technology of China, 2016, 45 (05): : 802 - 807
  • [17] An Approach to Model Checking of Multi-agent Data Analysis
    Garanina, Natalia
    Bodin, Eugene
    Sidorova, Elena
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2014, (168): : 32 - 44
  • [18] Model checking based on fuzzy multi-agent systems
    Ma, Zhanyou
    Li, Xia
    Gao, Yingnan
    Liu, Ziyuan
    Huazhong Keji Daxue Xuebao (Ziran Kexue Ban)/Journal of Huazhong University of Science and Technology (Natural Science Edition), 2024, 52 (11): : 64 - 71
  • [19] Model Checking Multi-Agent Systems against LDLK Specifications
    Kong, Jeremy
    Lomuscio, Alessio
    PROCEEDINGS OF THE TWENTY-SIXTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2017, : 1138 - 1144
  • [20] Implementation of Epistemic Operators for Model Checking Multi-agent Systems
    Babac, Marina Bagic
    Kunstic, Marijan
    COMPUTATIONAL COLLECTIVE INTELLIGENCE: SEMANTIC WEB, SOCIAL NETWORKS AND MULTIAGENT SYSTEMS, 2009, 5796 : 217 - 228
12345