Quantitative Group Trust: A Two-Stage Verification Approach

Jamal Bentahar, Nagat Drawel, Abdeladim Sadiki

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

15 Scopus citations

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.

Original languageBritish English
Title of host publicationInternational Conference on Autonomous Agents and Multiagent Systems, AAMAS 2022
Pages100-108
Number of pages9
ISBN (Electronic)9781713854333
StatePublished - 2022
Event21st International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2022 - Auckland, Virtual, New Zealand
Duration: 9 May 202213 May 2022

Publication series

NameProceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS
Volume1
ISSN (Print)1548-8403
ISSN (Electronic)1558-2914

Conference

Conference21st International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2022
Country/TerritoryNew Zealand
CityAuckland, Virtual
Period9/05/2213/05/22

Keywords

  • Group Trust
  • Model Checking
  • Quantitative Trust

Fingerprint

Dive into the research topics of 'Quantitative Group Trust: A Two-Stage Verification Approach'. Together they form a unique fingerprint.

Cite this