苏开乐 林瀚 肖茵茵 骆翔宇 李超明 陈清亮 陈蔼祥 岳伟亚 潘久辉 吕关锋 姜云飞

可满足性问题 模态算子 基于模型的诊断 SET证书申请协议 有界模型检测 诊断图 同步时态认知模型 模型检测 SAT问题 自动规划 串空间 局部搜索 协议 NuSMV 多智体系统 自动化验证 概率 诊断 SPV 溯因推理 时态认知逻辑 认证性 递推公式 验证 秘密性

河南科技大学电子信息工程学院 华南师范大学计算机学院 中山大学信息科学与技术学院 华南师范大学计算机科学系 广东商学院数学与计算科学学院 桂林电子科技大学计算机系 暨南大学计算机系 北京大学信息科学技术学院