Up a level |
Number of items: 1.
Farrell, Marie ORCID: 0000-0001-7708-3877, Mavrakis, Nikos, Ferrando, Angelo ORCID: 0000-0002-8711-4670, Dixon, Clare ORCID: 0000-0002-4610-9533 and Gao, Yang
(2022)
Formal Modelling and Runtime Verification of Autonomous Grasping for Active Debris Removal.
FRONTIERS IN ROBOTICS AND AI, 9.
639282-.