https://9dok.net/document/zx5mnd64-planning-optimization-markov-decision-processes-malte-helmert-gabriele.html