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 条
  • [41] Trust based quantification of quality in multi-agent systems
    Department of Computer Sciences, University of Delhi, Delhi-110007, India
    Inf. Technol. J., 2007, 3 (414-423):
  • [42] SRL-based trust predicting model used in multi-Agent systems
    Li, Xiao-Yong
    Zhou, Feng
    Yang, Xu-Dong
    Ni, Hui
    Beijing Youdian Daxue Xuebao/Journal of Beijing University of Posts and Telecommunications, 2010, 33 (06): : 112 - 115
  • [43] A Trust Management Model based on Multi-agent System
    Wang Yu
    Zhang Qiuyue
    Jiang Ying
    2008 ISECS INTERNATIONAL COLLOQUIUM ON COMPUTING, COMMUNICATION, CONTROL, AND MANAGEMENT, VOL 1, PROCEEDINGS, 2008, : 449 - 453
  • [44] An integrated trust and reputation model for open multi-agent systems
    Trung Dong Huynh
    Nicholas R. Jennings
    Nigel R. Shadbolt
    Autonomous Agents and Multi-Agent Systems, 2006, 13 : 119 - 154
  • [45] An integrated trust and reputation model for open multi-agent systems
    Huynh, Trung Dong
    Jennings, Nicholas R.
    Shadbolt, Nigel R.
    AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS, 2006, 13 (02) : 119 - 154
  • [46] Model Checking and Strategy Synthesis for Multi-agent Systems for Resource Allocation
    Timm, Nils
    Botha, Josua
    FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2021, 2021, 13130 : 53 - 69
  • [47] Reduction Model Checking for Multi-Agent Systems of Group Social Commitments
    AlFawwaz, Bader M.
    Al-Saqqar, Faisal
    AL-Shatnawi, Atallah
    COMPUTATION, 2022, 10 (06)
  • [48] Model checking fuzzy computation tree logic of multi-agent systems based on fuzzy interpreted systems
    Ma, Zhanyou
    Li, Xia
    Liu, Ziyuan
    Huang, Ruiqi
    He, Nana
    FUZZY SETS AND SYSTEMS, 2024, 485
  • [49] Computation Tree Logic Model Checking of Multi-Agent Systems Based on Fuzzy Epistemic Interpreted Systems
    Li, Xia
    Ma, Zhanyou
    Mian, Zhibao
    Liu, Ziyuan
    Huang, Ruiqi
    He, Nana
    CMC-COMPUTERS MATERIALS & CONTINUA, 2024, 78 (03): : 4129 - 4152
  • [50] Trust-based coalition formation in multi-agent systems
    Mikulski, Dariusz G.
    Lewis, Frank L.
    Gu, Edward Y.
    Hudas, Greg R.
    JOURNAL OF DEFENSE MODELING AND SIMULATION-APPLICATIONS METHODOLOGY TECHNOLOGY-JDMS, 2014, 11 (01): : 19 - 31
12345