论文降重
免费查重
A framework for multi-robot motion planning from temporal logic specifications
基本信息来源于合作网站，原文需代理用户跳转至来源网站获取
摘要：
推荐文章
基于Robot Framework的自动化接口测试框架的设计与实现
Robot Framework
自动化测试
接口测试框架
软件测试
Large-Scale,National Cross-Sectional Survey from 2009 to 2018
流动人口
医疗卫生和健康服务
计划生育
动态监测
中国流动人口动态调查(CMDS)
Temporal and spatial characteristics of dissolved organic carbon in the Wujiang River, Southwest Chi
Carbon cycle
Dissolved organic carbon
Dam-building effect
The Wujiang River
WWW信息收集的ROBOT技术
万维网
搜索引擎
机器人
内容分析
关键词云
关键词热度
相关文献总数
(/次)
(/年)
文献信息
| 篇名 | A framework for multi-robot motion planning from temporal logic specifications | ||
| 来源期刊 | 中国科学 | 学科 | 工学 |
| 关键词 | 多机器人 运动规划 时序逻辑 框架 规格 线性时态逻辑 Cadence 混合自动机 | ||
| 年，卷（期） | zgkx_2012,（7） | 所属期刊栏目 | |
| 研究方向 | 页码范围 | 1675-1692 | |
| 页数 | 18页 | 分类号 | TP242 |
| 字数 | 语种 | 中文 | |
| DOI | |||
五维指标
引文网络
引文网络
二级参考文献 (0)
共引文献 (0)
参考文献 (0)
节点文献
引证文献 (0)
同被引文献 (0)
二级引证文献 (0)
2012(0)
- 参考文献(0)
- 二级参考文献(0)
- 引证文献(0)
- 二级引证文献(0)
研究主题发展历程
节点文献
多机器人
运动规划
时序逻辑
框架
规格
线性时态逻辑
Cadence
混合自动机
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
期刊文献
相关文献
推荐文献
