Thanks to these Theorem, many solution techniques, relying on the contractiveness of the Bellman operator, work when the expectation is replaced by a coherent risk measure. Here we only demonstrate this for the well known Value Iteration Algorithm (see [1]})
