An Interactive System for Multiple-Task Linear Temporal Logic Path Planning
Yizhou Chen,Xinyi Wang,Zixuan Guo,Ruoyu Wang,Xunkuai Zhou,Guidong YANG,Shupeng Lai,Ben M. Chen,Yizhou Chen,Xinyi Wang,Zixuan Guo,Ruoyu Wang,Xunkuai Zhou,Guidong YANG,Shupeng Lai,Ben M. Chen
Beyond programming robots to accomplish a single high-level task at a time, people also hope robots follow instructions and complete a series of tasks while meeting their requirements. This paper presents an interactive software system that consists of a multiple-task linear temporal logic (LTL) path planner and a human-machine interface (HMI). The HMI transforms human oral instructions into task ...
