Symbolic planning and control of robot motion [Grand Challenges of Robotics] 论文

2007IEEE Robotics & Automation Magazine引用 392
DOI
Logic, programming, and type systemsLogic, Reasoning, and KnowledgeFormal Methods in Verification
Logic, Reasoning, and KnowledgeLogic, programming, and type systemsFormal Methods in Verification
相关技术:Formal Methods in Verification
关系图谱

Symbolic planning and control of robot motion [Grand Challenges of Robotics] · 相关技术

相关技术

Formal Methods in Verification