https://123dok.net/document/wq2k0rpq-lexicographic-refinements-possibilistic-decision-horizon-markov-decision-processes.html