Markov chain sparsification with independent sets for approximate value iteration | IEEE Conference Publication | IEEE Xplore