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]

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

Hamdi Yahyaoui

This author has not been identified. Look up 'Hamdi Yahyaoui' in Google

Rabeb Mizouni

This author has not been identified. Look up 'Rabeb Mizouni' in Google