Robot-Assisted Decompressive Laminectomy Planning Based on 3D Medical Image | IEEE Journals & Magazine | IEEE Xplore