Co-robotic synthetic tracked aperture ultrasound imaging with cross-correlation based dynamic error compensation and virtual fixture control | IEEE Conference Publication | IEEE Xplore