Vignesh Subramanian

Generalization in Reinforcement Learning from Logical Specifications

The central research goal is to develop a framework for reliable long-horizon generalization in reinforcement learning from temporal-logic specifications, and the key idea is to use logical specifications not only to describe complex tasks, but also to define structured families of related tasks in which generalization...