Kinematics Modeling and Error Compensation for Miniaturized Puncture Surgical Robot | IEEE Conference Publication | IEEE Xplore