Fast, Composable Rescue Mission Planning for UAVs using Metric Temporal Logic.

Usman A. Fiaz John S. Baras

Published in: CoRR (2019)

Keyphrases

mission planning
metric temporal logic
unmanned aerial vehicles
search and rescue
disaster relief
decision making
urban search and rescue
robocup rescue
three dimensional
artificial intelligence
database
real time
video sequences
path planning