Gradient-bounded dynamic programming for submodular and concave extensible value functions with probabilistic performance guarantees. (January 2022)