6 citations · 15 across the 12 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.AI2022
Generalizing LTL Instructions via Future Dependent Options
Duo Xu, Faramarz Fekri
In many real-world applications of control system and robotics, linear temporal logic (LTL) is a widely-used task specification language which has a compositional grammar that natu…
cs.RO2022
A Framework for Following Temporal Logic Instructions with Unknown Causal Dependencies
Duo Xu, Faramarz Fekri
Teaching a deep reinforcement learning (RL) agent to follow instructions in multi-task environments is a challenging problem. We consider that user defines every task by a linear t…