医学文献 >>
  • 检索发现
  • 增强检索
知识库 >>
  • 临床诊疗知识库
  • 中医药知识库
评价分析 >>
  • 机构
  • 作者
默认
×
热搜词:
换一批
论文 期刊
取消
高级检索

检索历史 清除

Formal Modelling and Runtime Verification of Autonomous Grasping for Active Debris Removal.

广告
第一作者: Marie,Farrell
第一单位: Department of Computer Science, Maynooth University, Maynooth, Ireland.
作者: Marie,Farrell [1] ; Nikos,Mavrakis [2] ; Angelo,Ferrando [3] ; Clare,Dixon [4] ; Yang,Gao [5]
作者单位: Department of Computer Science, Maynooth University, Maynooth, Ireland. [1] Department of Electronics, University of York, York, United Kingdom. [2] Department of Computer Science, University of Genova, Genova, Italy. [3] Department of Computer Science, University of Manchester, Manchester, United Kingdom. [4] STAR-Lab, Surrey Space Centre, University of Surrey, Guildford, United Kingdom. [5]
DOI 10.3389/frobt.2021.639282
PMID 35155585
发布时间 2022-02-14
提交
  • 浏览0
Frontiers in robotics and AI

Frontiers in robotics and AI

2021年8卷

639282页

相似文献

  • 中文期刊
  • 外文期刊
  • 学位论文
  • 会议论文

加载中!

加载中!

加载中!

加载中!

法律状态公告日 法律状态 法律状态信息

特别提示:本网站仅提供医学学术资源服务,不销售任何药品和器械,有关药品和器械的销售信息,请查阅其他网站。

  • 客服热线:4000-115-888 转3 (周一至周五:8:00至17:00)

  • |
  • 客服邮箱:yiyao@wanfangdata.com.cn

  • 违法和不良信息举报电话:4000-115-888,举报邮箱:problem@wanfangdata.com.cn,举报专区

官方微信
万方医学小程序
new医文AI 翻译 充值 订阅 收藏 移动端

官方微信

万方医学小程序

使用
帮助
Alternate Text
调查问卷