Transformation-based model checking temporal trust in multi-agent systems (vol 192, 111383, 2022)

被引：0
|
作者：
Drawel, Nagat [1 ]
Laarej, Amine [1 ]
Bentahar, Jamal [1 ]
El Menshawy, Mohamed [2 ]
机构：
[1] Concordia Inst Informat Syst Engn, Montreal, PQ, Canada
[2] Southern Alberta Inst Technol SAIT, Sch Adv Digital Technol SADT, Calgary, AB, Canada
来源：
JOURNAL OF SYSTEMS AND SOFTWARE | 2024年 / 213卷
关键词：
D O I：
10.1016/j.jss.2024.112052
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页数：1
相关论文
共 50 条
  • [31] 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
  • [32] A Compositional Automata-based Approach for Model Checking Multi-Agent Systems
    Benevides, Mario
    Delgado, Carla
    Pombo, Carlos
    Lopes, Luis
    Ribeiro, Ricardo
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 195 : 133 - 149
  • [33] 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
  • [34] 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
  • [35] Imprecise Probabilistic Model Checking for Stochastic Multi-agent Systems
    Termine A.
    Antonucci A.
    Primiero G.
    Facchini A.
    SN Computer Science, 4 (5)
  • [36] 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
  • [37] 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
  • [38] 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
  • [39] 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 - +
  • [40] 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):
12345