@misc{indiciae07a03e4067d0,
  title = {A Hybrid Compositional Approach to Optimal Mission Planning for Multi-rotor UAVs using Metric Temporal Logic},
  author = {Usman A. Fiaz and John S. Baras},
  year = {2019},
  url = {https://arxiv.org/abs/1904.03830},
  note = {Source identifier: 1904.03830}
}