Robotics-assisted catheter manipulation for improving cardiac ablation efficiency | IEEE Conference Publication | IEEE Xplore