Formal Modelling and Runtime Verification of Autonomous Grasping for Active Debris Removal (2022)
Attributed to:
Robotics and Artificial Intelligence for Nuclear (RAIN)
funded by
ISCF
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.3389/frobt.2021.639282
PubMed Identifier: 35155585
Publication URI: http://europepmc.org/abstract/MED/35155585
Type: Journal Article/Review
Parent Publication: Frontiers in Robotics and AI
ISSN: 2296-9144