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

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

Research output: Chapter in Book/Conference proceedingConference contributionpeer-review

Abstract

Verifying that autonomous space robotic software behaves correctly is crucial, particularly since such software is often mission-critical, that is, a software failure can lead to mission failure. In this paper, we describe the process that we used to verify the autonomous grasp generation and capturing operation of a spent rocket stage in space. This paper summarises a publication by the same authors in the journal Frontiers in Robotics and AI (2022) which harnesses multiple formal and non-formal methods to verify an autonomous grasping system.

Original languageEnglish
Title of host publicationThe 17th International Conference on integrated Formal Methods (iFM)
Volume13274
DOIs
Publication statusPublished - 1 Jun 2022

Fingerprint

Dive into the research topics of 'Journal First Formal Modelling and Runtime Verification of Autonomous Grasping for Active Debris Removal⋆'. Together they form a unique fingerprint.

Cite this