Projects per year
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 language | English |
---|---|
Title of host publication | The 17th International Conference on integrated Formal Methods (iFM) |
Volume | 13274 |
DOIs | |
Publication status | Published - 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.Projects
- 2 Finished
-
Novel Locomotion for Extreme Environments (Space)
Smith, K. (PI), Parslew, B. (CoI) & Weightman, A. (CoI)
16/03/20 → 31/03/21
Project: Research
-
Robotics and Artificial Intelligence for Nuclear (RAIN)
Lennox, B. (PI), Arvin, F. (CoI), Brown, G. (CoI), Carrasco Gomez, J. (CoI), Da Via, C. (CoI), Furber, S. (CoI), Luján, M. (CoI), Watson, S. (CoI), Watts, S. (CoI) & Weightman, A. (CoI)
2/10/17 → 31/03/22
Project: Research