@inproceedings{77e12608c15e4137861145d3ea533943,
title = "Quantitative Group Trust: A Two-Stage Verification Approach",
abstract = "This paper is about modeling and verifying quantitative group trust. We present a formal analysis of this concept that allows us to express and reason about trust in multi-agent systems in a quantitative setting. We introduce GTL, the graded branching temporal logic that includes operators for quantitative aspects of trust within a group. A two-stage verification procedure of the logic is presented. The first stage is a transformation procedure, and the second stage is an indirect procedure that uses an existing model checking algorithm. Theoretical results about the soundness, completeness and complexity of the procedure are presented.",
keywords = "Group Trust, Model Checking, Quantitative Trust",
author = "Jamal Bentahar and Nagat Drawel and Abdeladim Sadiki",
note = "Publisher Copyright: {\textcopyright} 2022 International Foundation for Autonomous Agents and Multiagent Systems (www.ifaamas.org). All rights reserved; 21st International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2022 ; Conference date: 09-05-2022 Through 13-05-2022",
year = "2022",
language = "British English",
series = "Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS",
pages = "100--108",
booktitle = "International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2022",
}