首页> Frontiers in robotics and AI> Formal Modelling and Runtime Verification of Autonomous Grasping for Active Debris Removal.

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

导出 LinkOut

翻译打印收藏纠错

第一作者： 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]

关键词 active debris removal autonomous grasping formal methods formal verification requirements elicitation runtime verification

DOI 10.3389/frobt.2021.639282

PMID 35155585

发布时间 2022-02-14

翻译满意度评价：

准确一般字义偏差语意偏离译文作用小提交

浏览0

Frontiers in robotics and AI

2021年8卷

639282页

相似文献

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

浏览0

点击下载本期目录封面

Frontiers in robotics and AI

2021年8卷

639282页

检索历史清除

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

Frontiers in robotics and AI

相似文献

同项目论文

Frontiers in robotics and AI

相关期刊

参考文献：
指定格式：	NoteExpress EndNote RefWorks NoteFirst

检索历史 清除

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

Frontiers in robotics and AI

相似文献

同项目论文

Frontiers in robotics and AI

相关期刊

检索历史清除