Related to the paper Skill Machines: Temporal Logic Skill Composition in Reinforcement Learning.
My research focuses on artificial intelligence and reinforcement learning, in particular designing agents capable of learning transferable, high-level abstractions of their environment.