94 citations · 165 across the 12 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.LG2023★ 1 cited
Compositional Policy Learning in Stochastic Control Systems with Formal Guarantees
Đorđe Žikelić, Mathias Lechner, Abhinav Verma +2
Reinforcement learning has shown promising results in learning neural network policies for complicated control tasks. However, the lack of formal guarantees about the behavior of s…
cs.LG2023★ 1 cited
Eventual Discounting Temporal Logic Counterfactual Experience Replay
Cameron Voloshin, Abhinav Verma, Yisong Yue
Linear temporal logic (LTL) offers a simplified way of specifying tasks for policy optimization that may otherwise be difficult to describe with scalar reward functions. However, t…