Calculus of variations for guaranteed optimal path planning of aircraft formations | IEEE Conference Publication | IEEE Xplore