Neuro-Symbolic Injection of LTLf Constraints in Autoregressive Reinforcement Learning Policies

Ashkan Ansarifard, Matteo Mancanelli, Elena Umili +1

In this work we study offline reinforcement learning (RL) under temporally extended task constraints expressed in Linear Temporal Logic over finite traces (LTLf). Recently, transfo…