Computationally Grounded Quantitative Trust with Time

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 TCTL 𝐺 , 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.