Aircraft conflict resolution: Lie-Poisson reduction for game on SE(2) | IEEE Conference Publication | IEEE Xplore