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

Khalid Sultan, Jamal Bentahar, Hamdi Yahyaoui, Rabeb Mizouni. Model checking agent-based communities against uncertain group commitments and knowledge. Expert Syst. Appl., 177:114792, 2021. [doi]

Abstract

Abstract is missing.