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 can be formalized, learned, and eventually verified.