62 citations · 78 across the 6 of their papers we have counts for
1 paper · 1 filter
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…