搜索到 篇“ 时态认知逻辑 “的相关文章

相关作者

骆翔宇
作品数：34被引量：126H指数：7
供职机构：华侨大学计算机科学与技术学院
研究主题：WEB服务 多智能体系统 时态认知逻辑 WEB服务组合 有界模型检测
苏开乐
作品数：48被引量：152H指数：8
供职机构：浙江师范大学数理与信息工程学院
研究主题：开放逻辑 时态认知逻辑 有界模型检测 时态 安全协议
吴立军
作品数：15被引量：99H指数：7
供职机构：电子科技大学计算机科学与工程学院
研究主题：形式化方法 时态 时态认知逻辑 EMD 符号模型检测
刘志锋
作品数：37被引量：69H指数：4
供职机构：江苏大学计算机科学与通信工程学院
研究主题：状态空间爆炸 隐通道 计算树逻辑 马尔可夫决策过程 操作语义
陈艳
作品数：6被引量：15H指数：2
供职机构：桂林电子科技大学计算机科学与工程学院
研究主题：WEB服务 多智能体系统 时态认知逻辑 WEBGIS研究 WEB_SERVICE