CSymPlan: Certified Symbolic Planning and Control for High-DOF Manipulators
CSymPlan:面向高自由度机械臂的可验证符号规划与控制
机构 * Mohamed bin Zayed University of Artificial Intelligence (MBZUAI)(穆罕默德·本·扎耶德人工智能大学(MBZUAI)) ; Technical University of Munich(慕尼黑工业大学) ; Ludwig Maximilian University of Munich(慕尼黑大学) ; New York University Abu Dhabi(纽约大学阿布扎比分校)
AI总结 本文提出CSymPlan框架,通过离线预计算可验证策略与在线运行时循环,使高自由度机械臂完成可达-规避任务时零安全违规,无验证动作时安全处理。