Accuracy; Approximation methods; Automata; End effectors; Safety; Surgery; Formal Verification; Hybrid Systems; Robotic Surgery;
机译:通过可达性分析对机器人手术任务进行形式验证
机译:手术可视化方法的进步:传统微观手术与新型机器人光电可视工具的脊髓手术
机译:机器人手术对中低位直肠癌的影响:三臂比较的病例匹配分析-开放式,腹腔镜和机器人手术
机译:通过可达性分析验证机器人手术任务:工具的比较
机译:机器人辅助腹腔镜手术中的任务分析,建模和基本任务的自动识别
机译:经验丰富的外科医生与腹腔镜手术新手在腹腔镜和机器人任务中的手术技能比较:一项实验研究
机译:机器人辅助手术和显微手术系统的运动分析-实验验证