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

相关作者

欧林林
作品数：326被引量：325H指数：10
供职机构：浙江工业大学
研究主题：机械臂 机器人 时滞 移动机器人 多移动机器人
禹鑫燚
作品数：283被引量：250H指数：9
供职机构：浙江工业大学
研究主题：机械臂 机器人 移动机器人 多移动机器人 时序逻辑
郭永奎
作品数：22被引量：12H指数：2
供职机构：浙江工业大学
研究主题：线性时序逻辑 时序逻辑 控制器 搜索 LTL
董威
作品数：163被引量：573H指数：11
供职机构：国防科学技术大学
研究主题：软件工程 配置项 UML 语义 监控器
赵常智
作品数：11被引量：13H指数：2
供职机构：国防科学技术大学
研究主题：监控器 自动机 LTL SIMD指令 数据流图