research
∙
07/06/2022
Physically-Feasible Repair of Reactive, Linear Temporal Logic-based, High-Level Tasks
A typical approach to creating complex robot behaviors is to compose ato...
share
research
∙
04/18/2022
Automatic Encoding and Repair of Reactive High-Level Tasks with Learned Abstract Representations
We present a framework that, given a set of skills a robot can perform, ...
research
∙
04/21/2021
