RT DW A1 Banks, Christopher. T1 Specification-Based Task Orchestration for Multi-Robot Aerial Teams