Differential games: a mathematical theory with applications to warfare and pursuit