Picture for Adam Pacheck

Adam Pacheck

Physically-Feasible Repair of Reactive, Linear Temporal Logic-based, High-Level Tasks

Add code
Jul 06, 2022
Figure 1 for Physically-Feasible Repair of Reactive, Linear Temporal Logic-based, High-Level Tasks
Figure 2 for Physically-Feasible Repair of Reactive, Linear Temporal Logic-based, High-Level Tasks
Figure 3 for Physically-Feasible Repair of Reactive, Linear Temporal Logic-based, High-Level Tasks
Figure 4 for Physically-Feasible Repair of Reactive, Linear Temporal Logic-based, High-Level Tasks
Viaarxiv icon

Automatic Encoding and Repair of Reactive High-Level Tasks with Learned Abstract Representations

Add code
Apr 18, 2022
Figure 1 for Automatic Encoding and Repair of Reactive High-Level Tasks with Learned Abstract Representations
Figure 2 for Automatic Encoding and Repair of Reactive High-Level Tasks with Learned Abstract Representations
Figure 3 for Automatic Encoding and Repair of Reactive High-Level Tasks with Learned Abstract Representations
Figure 4 for Automatic Encoding and Repair of Reactive High-Level Tasks with Learned Abstract Representations
Viaarxiv icon

Learning and Planning for Temporally Extended Tasks in Unknown Environments

Add code
Apr 28, 2021
Figure 1 for Learning and Planning for Temporally Extended Tasks in Unknown Environments
Figure 2 for Learning and Planning for Temporally Extended Tasks in Unknown Environments
Figure 3 for Learning and Planning for Temporally Extended Tasks in Unknown Environments
Figure 4 for Learning and Planning for Temporally Extended Tasks in Unknown Environments
Viaarxiv icon