Finite state Markov decision processes (1972)

by C Derman