Our work on synthesizing plans with loops in the presence of noise will appear in the international journal of approximate reasoning. It investigates how the AND-OR controller search of Hu & De Giacomo can be extended for strong goal satisfaction and termination conditions when tackling stochastic nondeterminism.