Stochastic dynamic programming by Wal