https://123dok.net/document/eqoem07y-estimating-rewards-rare-events-in-nondeterministic-systems.html