Specification mining and automated task planning for autonomous robots based on a graph-based spatial temporal logic

Zhiyu Liu, Meng Jiang, Hai Lin

We aim to enable an autonomous robot to learn new skills from demo videos and use these newly learned skills to accomplish non-trivial high-level tasks. The goal of developing such…