Synthesis for Stochastic Robotic Systems