Probabilistic algorithms in robotics