Linear Temporal Logic

Automatic Encoding and Repair of Reactive High-Level Tasks with Learned Abstract Representations
We present a framework for the automatic encoding and repair of high-level tasks. Given a set of skills a robot can perform, our …
PDF Cite Project
Skill Machines: Temporal Logic Composition in Reinforcement Learning
A major challenge in reinforcement learning is specifying tasks in a manner that is both interpretable and verifiable. One common …
PDF Cite Project
Skill Machines: Temporal Logic Composition in Reinforcement Learning
A major challenge in reinforcement learning is specifying tasks in a manner that is both interpretable and verifiable. One common …
PDF Cite Project Video