Login / Signup
Towards Formally Verified Optimizing Compilation in Flight Control Software.
Ricardo Bedin França
Denis Favre-Felix
Xavier Leroy
Marc Pantel
Jean Souyris
Published in:
PPES (2011)
Keyphrases
</>
control software
control system
unmanned aerial vehicles
flight data
real time
databases
artificial intelligence
decision making
mobile robot
ground truth
dynamic environments
prime implicates
space shuttle
civil aviation