Zobrazeno 1 - 9
of 9
pro vyhledávání: '"Nagat Drawel"'
Publikováno v:
The International Conference on Deep Learning, Big Data and Blockchain (DBB 2022) ISBN: 9783031160349
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d0e53544bb53823f65152c41218a58c9
https://doi.org/10.1007/978-3-031-16035-6_4
https://doi.org/10.1007/978-3-031-16035-6_4
Publikováno v:
2022 International Wireless Communications and Mobile Computing (IWCMC).
Publikováno v:
Autonomous Agents and Multi-Agent Systems. 36
Publikováno v:
Future Generation Computer Systems. 107:1047-1060
We present a new logic-based framework for modeling and automatically verifying trust in Multi-Agent Systems (MASs). We start by refining TCTL, a temporal logic of trust that extends the Computation Tree Logic (CTL) to enable reasoning about trust wi
Publikováno v:
Journal of Systems and Software. 192:111383
Publikováno v:
IJCAI
We present a formal framework that allows individual and group of agents to reason about their trust toward other agents. In particular, we propose a branching time temporal logic BT which includes operators that express concepts such as everyone tru
Publikováno v:
ANT/SEIT
The study of trust in Multi-Agent Systems (MASs) has been an area of interest for many researchers over the last years. This is due to the fact that trust is the basis for agent communication wherein entities have to operate in a dynamic and uncertai