@inproceedings{67fab6ba3965444aaa2f0d4a1348ff8b,
title = "Computationally grounded quantitative trust with time",
abstract = "Although plenty of qualitative logical frameworks have been proposed to evaluate and model trust in multi-agent sittings [2, 6, 9, 11], these approaches generally ignore reasoning about quantitative aspects such as degrees of trust. In this paper, we address this limitation from the modelling and verification perspectives. We construct TCTLG, a logical language to represent the quantitative aspect of trust. Moreover, we develop and implement a new symbolic model checking algorithm for quantifying the relationships among the interacting agents. Finally, we evaluate the tool and report experimental results using a health-care scenario.",
keywords = "Degrees of Trust, Model Checking, Temporal Logic",
author = "Nagat Drawel and Jamal Bentahar and Hongyang Qu",
note = "Publisher Copyright: {\textcopyright} 2020 International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS). All rights reserved.; 19th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2020 ; Conference date: 19-05-2020",
year = "2020",
language = "British English",
series = "Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS",
pages = "1837--1839",
editor = "Bo An and {El Fallah Seghrouchni}, Amal and Gita Sukthankar",
booktitle = "Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2020",
}