A Correctness Result for Synthesizing Plans With Loops in Stochastic Domains

Open in new window