https://123dok.net/document/4yr999vy-faster-statistical-model-checking-by-means-of-abstraction-and-learning.html