Abstracting Noisy Robot Programs