LTL-Constrained Policy Optimization with Cycle Experience Replay

Ameesh Shah, Cameron Voloshin, Chenxi Yang +3

Linear Temporal Logic (LTL) offers a precise means for constraining the behavior of reinforcement learning agents. However, in many settings where both satisfaction and optimality…