Applications of FORALL-formed computations in large scale stochastic dynamic programming | IEEE Conference Publication | IEEE Xplore