Model checking combined trust and commitments in Multi-Agent Systems

Narges Baharloo, Jamal Bentahar, Nagat Drawel, Witold Pedrycz. Model checking combined trust and commitments in Multi-Agent Systems. Expert Syst. Appl., 243:122856, 2024. [doi]

Abstract

Abstract is missing.