搜索到 篇“ 线性时序逻辑 “的相关文章

相关作者

欧林林
作品数：334被引量：350H指数：10
供职机构：浙江工业大学
研究主题：机械臂 机器人 时滞 移动机器人 多移动机器人
郭永奎
作品数：22被引量：12H指数：2
供职机构：浙江工业大学
研究主题：线性时序逻辑 时序逻辑 控制器 搜索 LTL
禹鑫燚
作品数：291被引量：277H指数：10
供职机构：浙江工业大学
研究主题：机械臂 机器人 移动机器人 多移动机器人 时序逻辑
方浩
作品数：180被引量：99H指数：6
供职机构：北京理工大学
研究主题：智能体 多智能体 多智能体系统 机器人 分布式
肖云涛
作品数：5被引量：16H指数：2
供职机构：浙江工业大学信息工程学院
研究主题：线性时序逻辑 路径规划 机器人 移动机器人 巡逻