Login / Signup
Verifying the Mathematical Library of an UAV Autopilot with Frama-C.
Baptiste Pollien
Christophe Garion
Gautier Hattenberger
Pierre Roux
Xavier Thirioux
Published in:
FMICS (2021)
Keyphrases
</>
control algorithm
mathematical expressions
vision based navigation
computer vision
image processing
model checking
unmanned aerial vehicles
data mining
genetic algorithm
database systems
dynamic environments
path planning
aerial vehicles