An optimization-based approach to time-critical cooperative surveillance and coverage with unmanned aerial vehicles