2 citations · 3 across the 2 of their papers we have counts for
2 papers
cs.LO2023★ 1 cited
Policy Synthesis and Reinforcement Learning for Discounted LTL
Rajeev Alur, Osbert Bastani, Kishor Jothimurugan +3
The difficulty of manually specifying reward functions has led to an interest in using linear temporal logic (LTL) to express objectives for reinforcement learning (RL). However, L…
cs.LG2023★ 2 cited
Robust Subtask Learning for Compositional Generalization
Kishor Jothimurugan, Steve Hsu, Osbert Bastani +1
Compositional reinforcement learning is a promising approach for training policies to perform complex long-horizon tasks. Typically, a high-level task is decomposed into a sequence…