Model checking agent-based communities against uncertain group commitments and knowledge

In recent years, the use of Multi-Agent Systems (MASs) to solve complex problems has grown rapidly. Social communicative commitments have been widely employed in such systems as a means of communication allowing heterogeneous agents to cooperate. However, to prevent undesirable outcomes, communicati...

Full description

Saved in:
Bibliographic Details
Main Author: Sultan, Khalid (author)
Other Authors: Bentahar, Jamal (author), Yahyaoui, Hamdi (author), Mizouni, Rabeb (author)
Published: 2021
Online Access:https://dspace.auk.edu.kw/handle/11675/8262
https://www.sciencedirect.com/science/article/abs/pii/S0957417421002335
Tags: Add Tag
No Tags, Be the first to tag this record!