Stability guarantees for nonlinear discrete-time systems controlled by approximate value iteration.