Automaton Constrained Q-Learning - Manganaris, Anastasios; Giammarino, Vittorio; Qureshi, Ahmed (Advances in Neural Information Processing Systems, 2025)