BA 912: Dynamic Programming and Stochastic Control