Method and system for robot end effector path correction using 3-D ultrasound sensors | IEEE Conference Publication | IEEE Xplore