Neuro-Symbolic Apprenticeship Learning

Temporal logic-guided reinforcement learning from demonstrations