Picture for Sergio Jiménez

Sergio Jiménez

Synthesis of Procedural Models for Deterministic Transition Systems

Add code
Jul 25, 2023
Viaarxiv icon

Generalized Planning as Heuristic Search: A new planning search-space that leverages pointers over objects

Add code
Jan 26, 2023
Viaarxiv icon

Representation and Synthesis of C++ Programs for Generalized Planning

Add code
Jun 29, 2022
Figure 1 for Representation and Synthesis of C++ Programs for Generalized Planning
Figure 2 for Representation and Synthesis of C++ Programs for Generalized Planning
Figure 3 for Representation and Synthesis of C++ Programs for Generalized Planning
Figure 4 for Representation and Synthesis of C++ Programs for Generalized Planning
Viaarxiv icon

Computing Programs for Generalized Planning as Heuristic Search

Add code
May 12, 2022
Figure 1 for Computing Programs for Generalized Planning as Heuristic Search
Figure 2 for Computing Programs for Generalized Planning as Heuristic Search
Figure 3 for Computing Programs for Generalized Planning as Heuristic Search
Figure 4 for Computing Programs for Generalized Planning as Heuristic Search
Viaarxiv icon

Scaling-up Generalized Planning as Heuristic Search with Landmarks

Add code
May 10, 2022
Figure 1 for Scaling-up Generalized Planning as Heuristic Search with Landmarks
Figure 2 for Scaling-up Generalized Planning as Heuristic Search with Landmarks
Figure 3 for Scaling-up Generalized Planning as Heuristic Search with Landmarks
Figure 4 for Scaling-up Generalized Planning as Heuristic Search with Landmarks
Viaarxiv icon

Generalized Planning as Heuristic Search

Add code
Mar 26, 2021
Figure 1 for Generalized Planning as Heuristic Search
Figure 2 for Generalized Planning as Heuristic Search
Figure 3 for Generalized Planning as Heuristic Search
Figure 4 for Generalized Planning as Heuristic Search
Viaarxiv icon

Generalized Planning with Positive and Negative Examples

Add code
Nov 21, 2019
Figure 1 for Generalized Planning with Positive and Negative Examples
Figure 2 for Generalized Planning with Positive and Negative Examples
Figure 3 for Generalized Planning with Positive and Negative Examples
Figure 4 for Generalized Planning with Positive and Negative Examples
Viaarxiv icon

Hierarchical Finite State Controllers for Generalized Planning

Add code
Nov 07, 2019
Figure 1 for Hierarchical Finite State Controllers for Generalized Planning
Figure 2 for Hierarchical Finite State Controllers for Generalized Planning
Figure 3 for Hierarchical Finite State Controllers for Generalized Planning
Viaarxiv icon

Generalized Planning With Procedural Domain Control Knowledge

Add code
Oct 11, 2019
Figure 1 for Generalized Planning With Procedural Domain Control Knowledge
Figure 2 for Generalized Planning With Procedural Domain Control Knowledge
Figure 3 for Generalized Planning With Procedural Domain Control Knowledge
Figure 4 for Generalized Planning With Procedural Domain Control Knowledge
Viaarxiv icon

Learning STRIPS Action Models with Classical Planning

Add code
Mar 04, 2019
Figure 1 for Learning STRIPS Action Models with Classical Planning
Figure 2 for Learning STRIPS Action Models with Classical Planning
Figure 3 for Learning STRIPS Action Models with Classical Planning
Figure 4 for Learning STRIPS Action Models with Classical Planning
Viaarxiv icon