肖茵茵 苏开乐 吴光伟 古天龙 董荣胜 杨晋吉 顾明 吕关锋 林瀚

同步时态认知模型 模态算子 和与积难题 有序二值判定图（OBDD） 多智体系统 有界模型检测 公告逻辑 递推公式 模型检测 时态认知逻辑 可满足性问题 时态逻辑 OBDD

中山大学计算机科学系 桂林电子科技大学计算机与控制学院 北京大学信息科学技术学院 桂林电子科技大学计算机系 河南科技大学电子信息工程学院洛阳 河南洛阳 华南师范大学计算机学院 广东广州