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 条
  • [1] 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
  • [2] Model checking combined trust and commitments in Multi-Agent Systems
    Baharloo, Narges
    Bentahar, Jamal
    Drawel, Nagat
    Pedrycz, Witold
    EXPERT SYSTEMS WITH APPLICATIONS, 2024, 243
  • [3] 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
  • [4] Model checking multi-agent systems
    Yuan Mengting
    Yu Chao
    2007 INTERNATIONAL CONFERENCE ON SERVICE SYSTEMS AND SERVICE MANAGEMENT, VOLS 1-3, 2007, : 567 - +
  • [5] Model Checking Multi-Agent Systems
    Bourahla, Mustapha
    Benmohamed, Mohamed
    INFORMATICA-JOURNAL OF COMPUTING AND INFORMATICS, 2005, 29 (02): : 189 - 197
  • [6] Model checking algorithm for temporal logics of knowledge in multi-agent systems
    Wu, Li-Jun
    Su, Kai-Le
    Ruan Jian Xue Bao/Journal of Software, 2004, 15 (07): : 1012 - 1020
  • [7] Model Checking GSM-Based Multi-Agent Systems
    Gonzalez, Pavel
    Griesmayer, Andreas
    Lomuscio, Alessio
    SERVICE-ORIENTED COMPUTING - ICSOC 2013 WORKSHOPS, 2014, 8377 : 54 - 68
  • [8] 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
  • [9] Abstraction for model checking multi-agent systems
    Zhou, Conghua
    Sun, Bo
    Liu, Zhifeng
    FRONTIERS OF COMPUTER SCIENCE IN CHINA, 2011, 5 (01): : 14 - 25
  • [10] Model Checking Multi-agent Systems with APTL
    Wang, Haiyang
    Duan, Zhenhua
    Tian, Cong
    AD HOC & SENSOR WIRELESS NETWORKS, 2017, 37 (1-4) : 35 - 52
12345