A Verified UAV Flight Plan Generator.

Baptiste Pollien Christophe Garion Gautier Hattenberger Pierre Roux Xavier Thirioux

Published in: FormaliSE (2023)

Keyphrases

unmanned aerial vehicles
flight control
path planning
control algorithm
decision theoretic
dynamic environments
plan generation
space shuttle
aerial vehicles
vision based navigation
query optimization
plan recognition
plan execution
planning process
pseudorandom
search and rescue
civil aviation
information systems