Journal-First: Formal Modelling and Runtime Verification of Autonomous Grasping for Active Debris Removal.

Marie Farrell, Nikos Mavrakis, Angelo Ferrando, Clare Dixon, Yang Gao

Browse the full IFM paper archive.