1 citations · 1 across the 3 of their papers we have counts for
3 papers
Synthesis of Procedural Models for Deterministic Transition Systems
Javier Segovia-Aguas, Jonathan Ferrer-Mestres, Sergio Jiménez
This paper introduces a general approach for synthesizing procedural models of the state-transitions of a given discrete system. The approach is general in that it accepts differen…
Generalized Planning as Heuristic Search: A new planning search-space that leverages pointers over objects
Javier Segovia-Aguas, Sergio Jiménez, Anders Jonsson
Planning as heuristic search is one of the most successful approaches to classical planning but unfortunately, it does not extend trivially to Generalized Planning (GP). GP aims to…
Representation and Synthesis of C++ Programs for Generalized Planning
Javier Segovia-Aguas, Yolanda E-Martín, Sergio Jiménez
The paper introduces a novel representation for Generalized Planning (GP) problems, and their solutions, as C++ programs. Our C++ representation allows to formally proving the term…