SMS dit: Optimal control of discrete time stochastic systems