Pozo, Martín

2 publications

IJCAI 2025 Abstraction Heuristics for Classical Planning Tasks with Conditional Effects Martín Pozo, Jendrik Seipp

AAAI 2024 When CEGAR Meets Regression: A Love Story in Optimal Classical Planning Martín Pozo, Álvaro Torralba, Carlos Linares López