Stabilizing Value Iteration with and without Approximation Errors