TY - RPRT TI - Neuro-Symbolic Injection of LTLf Constraints in Autoregressive Reinforcement Learning Policies AU - Ashkan Ansarifard AU - Matteo Mancanelli AU - Elena Umili AU - Fabio Patrizi PY - 2026 UR - https://arxiv.org/abs/2606.08312 ID - 2606.08312 ER -