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 …
Adam Pacheck, Steven James, George Konidaris, Hadas Kress-Gazit
PDF Cite
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 …
Geraud Nangue Tasse, Devon Jarvis, Steven James, Benjamin Rosman
PDF Cite
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 …
Geraud Nangue Tasse, Devon Jarvis, Steven James, Benjamin Rosman
PDF Cite Video