Gradient-bounded dynamic programming for submodular and concave extensible value functions with probabilistic performance guarantees - Lebedev, D; Goulart, P; Margellos, K (Automatica, 2021)