A decomposition strategy for optimal coordination of unmanned air vehicles | IEEE Conference Publication | IEEE Xplore