陈清亮, 朱可宜. 多智能体协同的认知规范模型检测算法[J]. 中山大学学报(自然科学版)(中英文), 2009,48(1):110-112.

CHEN Qingliang, ZHU Keyi. Model Checking Algorithms for Epistemic Goals in Cooperative MultiAgent Systems[J]. Acta Scientiarum Naturalium Universitatis SunYatseni, 2009,48(1):110-112.

陈清亮, 朱可宜. 多智能体协同的认知规范模型检测算法[J]. 中山大学学报(自然科学版)(中英文), 2009,48(1):110-112. DOI：

CHEN Qingliang, ZHU Keyi. Model Checking Algorithms for Epistemic Goals in Cooperative MultiAgent Systems[J]. Acta Scientiarum Naturalium Universitatis SunYatseni, 2009,48(1):110-112. DOI：