Smooth and collision-free navigation for multiple robots under differential-drive constraints.