Rminimax: An Optimally Randomized MINIMAX Algorithm | IEEE Journals & Magazine | IEEE Xplore