RA-L · 2024Logic-LfDAbstractLogic-LfD: logic learning from demonstrations for multi-step manipulation tasksRepository