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

Open in new window