首页 正文

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

{{output}}
Active debris removal in space has become a necessary activity to maintain and facilitate orbital operations. Current approaches tend to adopt autonomous robotic systems which are often furnished with a robotic arm to safely capture debris by identifying a sui... ...