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]

Authors

Khalid Sultan

This author has not been identified. Look up 'Khalid Sultan' in Google

Jamal Bentahar

This author has not been identified. Look up 'Jamal Bentahar' in Google

Wei Wan

This author has not been identified. Look up 'Wei Wan' in Google

Faisal Al-Saqqar

This author has not been identified. Look up 'Faisal Al-Saqqar' in Google