Modeling and verifying probabilistic Multi-Agent Systems using knowledge and social commitments

Khalid Sultan, Jamal Bentahar, Wei Wan, Faisal Al-Saqqar. Modeling and verifying probabilistic Multi-Agent Systems using knowledge and social commitments. Expert Syst. Appl., 41(14):6291-6304, 2014. [doi]

Abstract

Abstract is missing.