搜索到 篇“ 概率模型检测 “的相关文章

相关作者

董荣胜
作品数:182被引量:1,506H指数:14
供职机构:桂林电子科技大学
研究主题:决策图 无线传感器网络 MDD 原子性 计算思维
王瑞
作品数:69被引量:152H指数:7
供职机构:首都师范大学
研究主题:形式化验证 机器人 ROS 移动机器人 时间自动机
关永
作品数:344被引量:1,170H指数:16
供职机构:首都师范大学
研究主题:形式化验证 定理证明 嵌入式系统 形式化 机器人
李晓娟
作品数:118被引量:265H指数:8
供职机构:首都师范大学
研究主题:形式化验证 定理证明 机器人 移动机器人 形式化方法
魏洪兴
作品数:168被引量:898H指数:16
供职机构:北京航空航天大学
研究主题:机器人 嵌入式系统 模块化 自组装 装载机