1 citations · 2 across the 12 of their papers we have counts for
3 papers · 1 filter
Certificate-Guided Evaluation of Reinforcement Learning Generalization
Vignesh Subramanian, Đorđe Žikelić, Suguman Bansal
This work presents a logic-driven framework to evaluate the performance of reinforcement learning (RL) algorithms in their ability to generalize to unseen tasks. Our framework defi…
Decoupled Behavioral Cloning for Scalable Inductive Generalization in RL from Specifications
Vignesh Subramanian, Subhajit Roy, Suguman Bansal
Inductive generalization is a framework for reinforcement learning (RL) generalization in which inductively related task instances admit inductively related policies. Prior work ca…
Synthesis from Satisficing and Temporal Goals
Suguman Bansal, Lydia Kavraki, Moshe Y. Vardi +1
Reactive synthesis from high-level specifications that combine hard constraints expressed in Linear Temporal Logic LTL with soft constraints expressed by discounted-sum (DS) reward…