https://123dok.net/document/qo5jj8l7-abstract-interpretation-of-programs-as-markov-decision-processes.html