Value Iteration for Stochastic LQR With Convergence Guarantees | IEEE Journals & Magazine | IEEE Xplore