https://9lib.org/document/yj7v5l2y-approximation-methods-in-stochastic-max-plus-systems.html