Formal verification of group and propagated trust in multi-agent systems

Autor:	Nagat Drawel, Jamal Bentahar, Amine Laarej, Gaith Rjoub
Rok vydání:	2022
Předmět:	Artificial Intelligence
Zdroj:	Autonomous Agents and Multi-Agent Systems. 36
ISSN:	1573-7454 1387-2532
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::4201d9dd42f63b54241d159807d9eede https://doi.org/10.1007/s10458-021-09542-6 Zobrazit plný text záznamu Full text from SpringerLink