Inductive Generalization in Reinforcement Learning from Specifications

Vignesh Subramanian, Rohit Kushwah, Subhajit Roy +1

We present a novel inductive generalization framework for RL from logical specifications. Many interesting tasks in RL environments have a natural inductive structure. These induct…