TY - RPRT TI - Fast, Composable Rescue Mission Planning for UAVs using Metric Temporal Logic AU - Usman A. Fiaz AU - John S. Baras PY - 2020 DO - 10.1016/j.ifacol.2020.12.2361 UR - https://arxiv.org/abs/1912.07848 ID - 1912.07848 ER -