搜索到 篇“ LTL “的相关文章

相关作者

欧林林
作品数：341被引量：368H指数：11
供职机构：浙江工业大学
研究主题：机械臂 机器人 时滞 移动机器人 多移动机器人
禹鑫燚
作品数：297被引量：301H指数：10
供职机构：浙江工业大学
研究主题：机械臂 机器人 移动机器人 多移动机器人 时序逻辑
郭永奎
作品数：22被引量：12H指数：2
供职机构：浙江工业大学
研究主题：线性时序逻辑 时序逻辑 控制器 搜索 LTL
董威
作品数：178被引量：582H指数：11
供职机构：国防科学技术大学
研究主题：软件工程 配置项 UML 语义 监控器
赵岭忠
作品数：120被引量：138H指数：6
供职机构：桂林电子科技大学
研究主题：并发系统 网络 CSP 多智能体 基于ASP