While modeling trust in multi-agent systems provides a fundamental basis for promoting safe
interactions and imitating agents reasoning mechanisms, exploiting model checking …

Intelligent applications are highly susceptible to uncertainty and inconsistency due to the
intense and intricate interactions among their autonomous components (or agents), making …

We present a formal framework that allows individual and group of agents to reason about
their trust toward other agents. In particular, we propose a branching time temporal logic BT …

Several formal trust frameworks have been introduced in the area of Multi-Agent Systems
(MASs). However, the problem of model checking trust logics is still a challenging research …

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 …

Trust represents a fundamental, complementary ingredient for the success of security
mechanisms in computer science, as it goes beyond the intrinsic, technical aspects of …

This paper aims to analayze and reason about group communicating social commitments in
Multi-Agent Systems (MASs). In fact, this paper presents Computation Tree Logic Group …

Innumerable industries now use multi-agent systems (MASs) in various contexts, including
healthcare, security, and commercial deployments. It is challenging to select reliable …

Abstract Multi-Valued Model Checking IoT and Intelligent Systems with Trust and
Commitment Protocols Ghalya Alwhishi, Ph. D. Concordia University, 2024 In the era of …

Trust has been the focus of many research projects, both theoretical and practical, in the
recent years, particularly in domains where open multi-agent technologies are applied (eg …