Probabilistic motion planning for redundant robots along given end-effector paths | Synapse