Decomposition methods for optimized collision avoidance with multiple threats | IEEE Conference Publication | IEEE Xplore