Model checking probabilistic social commitments for intelligent agent communication

Khalid Sultan, Jamal Bentahar, Mohamed El-Menshawy. Model checking probabilistic social commitments for intelligent agent communication. Appl. Soft Comput., 22:397-409, 2014. [doi]

Abstract

Abstract is missing.