Neuro-Symbolic Injection of LTLf Constraints in Autoregressive Reinforcement Learning Policies
arXiv:2606.08312v1 Announce Type: new Abstract: In this work we study offline reinforcement learning (RL) under temporally extended task constraints expressed in Linear Temporal Logic over finite trac