Skip to content
RDL
Network
Ecosystem
Switch app
TR
About
FAQ
Sign in
Get started
MV-Checker: A software tool for multi-valued model checking intelligent applications with trust and commitment — Ghalya Alwhishi (2024) | RDL Network
Back
Cite
Save
Save for later
Share
Home
Publications
MV-Checker: A software tool for multi-valued model checking intelligent applications with trust and commitment
Shared by
Witold Pedrycz
University of Alberta
MV-Checker: A software tool for multi-valued model checking intelligent applications with trust and commitment
Article
2024
en
Authors
+1 more
GA
Ghalya Alwhishi
JB
Jamal Bentahar
AE
Ahmed Elwhishi
Discussion
(0)
Sign in
to like and join the discussion.
No comments yet. Be the first to comment.
Related publications
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
Article
2023
Model Checking Combined Trust and Commitments in Multi-Agent Systems
Jamal Bentahar
,
Narges Baharloo
,
Nagat Drawel
,
Witold Pedrycz
Article
2023
Model checking combined trust and commitments in Multi-Agent Systems
Narges Baharloo
,
Jamal Bentahar
,
Nagat Drawel
,
Witold Pedrycz
Discussion(0)
No comments yet. Be the first to comment.