Login / Signup
Formal Approach for the Verification of Onboard Autonomous Functions in Observation Satellites.
Vincent Mussot
Silvano Dal-Zilio
Loïc Correnson
Serge Rainjonneau
Yves Bardout
Grégoire Scano
Published in:
CoRR (2020)
Keyphrases
</>
earth observing
formal methods
sensor data
remote sensing
formal analysis
cooperative
artificial neural networks
formal model
model checking
information retrieval
autonomous navigation
fingerprint verification
objective function
case study
database
basis functions
image processing
real time