Media type: E-Article Title: Formal verification of group and propagated trust in multi-agent systems Contributor: Drawel, Nagat; Bentahar, Jamal; Laarej, Amine; Rjoub, Gaith Published: Springer Science and Business Media LLC, 2022 Published in: Autonomous Agents and Multi-Agent Systems, 36 (2022) 1 Language: English DOI: 10.1007/s10458-021-09542-6 ISSN: 1387-2532; 1573-7454 Origination: Footnote: