Segovia-Aguas, Javier

10 publications

NeurIPS 2025 Distances for Markov Chains from Sample Streams Sergio Calo, Anders Jonsson, Gergely Neu, Ludovic Schwartz, Javier Segovia-Aguas

NeurIPS 2024 Bisimulation Metrics Are Optimal Transport Distances, and Can Be Computed Efficiently Sergio Calo, Anders Jonsson, Gergely Neu, Ludovic Schwartz, Javier Segovia-Aguas

ICMLW 2024 Bisimulation Metrics Are Optimal Transport Distances, and Can Be Computed Efficiently Sergio Calo, Anders Jonsson, Gergely Neu, Ludovic Schwartz, Javier Segovia-Aguas

IJCAI 2022 Computing Programs for Generalized Planning as Heuristic Search (Extended Abstract) Javier Segovia-Aguas, Sergio Jiménez Celorrio, Anders Jonsson

AAAI 2021 Online Action Recognition Alejandro Suárez-Hernández, Javier Segovia-Aguas, Carme Torras, Guillem Alenyà

AAAI 2020 Generalized Planning with Positive and Negative Examples Javier Segovia-Aguas, Sergio Jiménez, Anders Jonsson

JAIR 2018 Computing Hierarchical Finite State Controllers with Classical Planning Javier Segovia-Aguas, Sergio Jiménez, Anders Jonsson

IJCAI 2017 Generating Context-Free Grammars Using Classical Planning Javier Segovia-Aguas, Sergio Jiménez Celorrio, Anders Jonsson

IJCAI 2016 Automatic Generation of High-Level State Features for Generalized Planning Damir Lotinac, Javier Segovia-Aguas, Sergio Jiménez Celorrio, Anders Jonsson

IJCAI 2016 Hierarchical Finite State Controllers for Generalized Planning Javier Segovia-Aguas, Sergio Jiménez Celorrio, Anders Jonsson