Login / Signup
Journal-First: Formal Modelling and Runtime Verification of Autonomous Grasping for Active Debris Removal.
Marie Farrell
Nikos Mavrakis
Angelo Ferrando
Clare Dixon
Yang Gao
Published in:
IFM (2022)
Keyphrases
</>
formal methods
formal analysis
special issue
model checking
cooperative
vision system
search engine
formal model
formal specification
face verification
verification method
autonomous navigation
autonomous systems
method invocation
database
asynchronous circuits
petri net
color images
data sets