A fault-tolerant automatic mission planner for a fleet of aerial vehicles. (June 2023)