Formal solutions for a class of stochastic pursuit-evasion games | IEEE Journals & Magazine | IEEE Xplore