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 条
  • [21] 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
  • [22] Global Model Checking on Pushdown Multi-Agent Systems
    Chen, Taolue
    Song, Fu
    Wu, Zhilin
    THIRTIETH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2016, : 2459 - 2465
  • [23] Model-Checking for Heterogeneous Multi-Agent Systems
    Zhang Y.-D.
    Song F.
    Ruan Jian Xue Bao/Journal of Software, 2018, 29 (06): : 1582 - 1594
  • [24] Model checking game properties of multi-agent systems
    Henzinger, TA
    AUTOMATA, LANGUAGES AND PROGRAMMING, 1998, 1443 : 543 - 543
  • [25] A computation trust model with trust network in multi-agent systems
    Wang, P
    Zhang, ZL
    Proceedings of the 2005 International Conference on Active Media Technology (AMT 2005), 2005, : 389 - 392
  • [26] A Similarity-based Trust Model in Open Multi-agent Systems
    Zhan Tao
    Zhou Xingshe
    Fu Ning
    Yang Gang
    THIRD INTERNATIONAL CONFERENCE ON MULTIMEDIA AND UBIQUITOUS ENGINEERING (MUE 2009), 2009, : 178 - 182
  • [27] A Value-based Trust Assessment Model for Multi-agent Systems
    Chhogyal, Kinzang
    Nayak, Abhaya
    Ghose, Aditya
    Dam, Hoa K.
    PROCEEDINGS OF THE TWENTY-EIGHTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2019, : 194 - 200
  • [28] Checking Multi-Agent Systems against Temporal-Epistemic Specifications
    Chen, Ran
    Zhang, Wenhui
    2019 24TH INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS 2019), 2019, : 21 - 30
  • [29] An efficient trust estimation model for multi-agent systems using temporal difference learning
    Rishwaraj, G.
    Ponnambalam, S. G.
    Kiong, Loo Chu
    NEURAL COMPUTING & APPLICATIONS, 2017, 28 : S461 - S474
  • [30] An efficient trust estimation model for multi-agent systems using temporal difference learning
    G. Rishwaraj
    S. G. Ponnambalam
    Loo Chu Kiong
    Neural Computing and Applications, 2017, 28 : 461 - 474
12345