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