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