62 citations · 230 across the 8 of their papers we have counts for
1 paper · 1 filter
Cameron Voloshin, Hoang M. Le, Swarat Chaudhuri +1
We study the problem of policy optimization (PO) with linear temporal logic (LTL) constraints. The language of LTL allows flexible description of tasks that may be unnatural to enc…