SymDQN: Symbolic Knowledge and Reasoning in Neural Network-based Reinforcement Learning. - Ivo Amador; Nina Gierasimczuk (CoRR, 2025)