中文版 | English

在结果中检索

CSpace

浏览/检索结果: 共2条，第1-2条 帮助

限定条件    
已选(0)清除 条数/页：   排序方式：
Algorithm for autonomous navigation of mobile robot measurements based on Beidou/laser radar 会议论文
2nd Asia-Pacific Conference on Intelligent Robot Systems, ACIRS 2017, Wuhan, China, June 16, 2017 - June 18, 2017
作者:  Li, Dan;  He, Guotian;  Wu, Canfeng;  Wang, Tianmiao
Adobe PDF(464Kb)  |  收藏  |  浏览/下载：107/0  |  提交时间：2018/03/16
Abstraction of elementary hybrid systems by variable transformation 会议论文
20th International Symposium on Formal Methods, FM 2015, Oslo, Norway, June 24, 2015 - June 26, 2015
作者:  Liu, Jiang;  Zhan, Naijun;  Zhao, Hengjun;  Zou, Liang
Adobe PDF(512Kb)  |  收藏  |  浏览/下载：53/0  |  提交时间：2018/03/16