Skip to content
RDL
Network
Ecosystem
Switch app
TR
About
FAQ
Sign in
Get started
Model Checking Combined Trust and Commitments in Multi-Agent Systems — Jamal Bentahar (2023) | RDL Network
Back
Cite
Save
Save for later
Share
Home
Publications
Model Checking Combined Trust and Commitments in Multi-Agent Systems
Shared by
Witold Pedrycz
University of Alberta
Model Checking Combined Trust and Commitments in Multi-Agent Systems
Article
2023
en
Authors
+1 more
JB
Jamal Bentahar
NB
Narges Baharloo
ND
Nagat Drawel
Discussion
(0)
Sign in
to like and join the discussion.
No comments yet. Be the first to comment.
Related publications
Article
2023
Model checking combined trust and commitments in Multi-Agent Systems
Narges Baharloo
,
Jamal Bentahar
,
Nagat Drawel
,
Witold Pedrycz
Article
2024
MV-Checker: A software tool for multi-valued model checking intelligent applications with trust and commitment
Ghalya Alwhishi
,
Jamal Bentahar
,
Ahmed Elwhishi
,
Witold Pedrycz
Preprint
2023
Mv-Checker: A Software Tool for Multi-Valued Model Checking Intelligent Applications with Trust and Commitment
Ghalya Alwhishi
,
Jamal Bentahar
,
Ahmed Elwhishi
,
Witold Pedrycz
Article
2023
Multi-valued model checking IoT and intelligent systems with commitment protocols in multi-source data environments
Ghalya Alwhishi
,
Jamal Bentahar
,
Ahmed Elwhishi
,
Witold Pedrycz
,
Nagat Drawel
Preprint
2023
Multi-Valued Model Checking Iot and Intelligent Systems with Commitment Protocols in Multi-Source Data Environments
Ghalya Alwhishi
,
Jamal Bentahar
,
Ahmed Elwhishi
,
Witold Pedrycz
,
Nagat Drawel
Discussion(0)
No comments yet. Be the first to comment.