A Hybrid Compositional Approach to Optimal Mission Planning for Multi-rotor UAVs using Metric Temporal Logic.

Usman A. Fiaz John S. Baras

Published in: CoRR (2019)

Keyphrases

mission planning
decision making
metric temporal logic
unmanned aerial vehicles
real time
genetic algorithm
worst case
dynamic programming
mathematical model