Convergent dynamic programming : (prepublication)