Differential games and symbolic programming to calculate a guaranteed aircraft evasion in modern aerial duels | IEEE Conference Publication | IEEE Xplore