[2310.19137] Automaton Distillation: Neuro-Symbolic Transfer Learning for Deep Reinforcement Learning