Reduction Model Checking for Multi-Agent Systems of Group Social Commitments

Reduction Model Checking for Multi-Agent Systems of Group Social Commitments

Innumerable industries now use multi-agent systems (MASs) in various contexts, including healthcare, security, and commercial deployments. It is challenging to select reliable business protocols for critically important safety-related systems (e.g., in healthcare). The verification and validation of...

Full description

Bibliographic Details
Main Authors: Bader M. AlFawwaz, Faisal Al-Saqqar, Atallah AL-Shatnawi
Format: Article
Language:English
Published: MDPI AG 2022-05-01
Series:Computation
Subjects:
group social commitments
model-checking
modeling
multi-agent systems
social commitments
validation
Online Access:https://www.mdpi.com/2079-3197/10/6/84

Internet

https://www.mdpi.com/2079-3197/10/6/84

Similar Items