A correctness result for synthesizing plans with loops in stochastic domains. - Laszlo Treszkai; Vaishak Belle (Int. J. Approx. Reason., 2020)