Safety Design and Control Algorithm for Robotic Spinal Surgical System | IEEE Conference Publication | IEEE Xplore