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

Marie Farrell, Nikos Mavrakis, Angelo Ferrando, Clare Dixon, Yang Gao · 2021 · arXiv 2021.639282

1 Pith paper cite this work. Polarity classification is still indexing.

1 Pith paper citing it

representative citing papers

cs.RO · 2026-06-22 · unverdicted · novelty 2.0

A workshop report catalogues challenges and solution pathways for verification, engineering, and architecting reliable autonomous systems.

Showing 1 of 1 citing paper.

Engineering Reliable Autonomous Systems: Challenges and Solutions cs.RO · 2026-06-22 · unverdicted · none · ref 32
A workshop report catalogues challenges and solution pathways for verification, engineering, and architecting reliable autonomous systems.