Argo AI, Caltech; UT Austin; Caltech; Argo AI
Cameron Voloshin, Hoang Le, Swarat Chaudhuri, Yisong Yue
Reinforcement Learning;RL;Linear Temporal Logic;LTL;Constrained;Policy;Optimization;Learning
Policy Optimization with Linear Temporal Logic Constraints