Categories
recording

A correctness result for synthesizing plans with loops in stochastic domains