Martín Pozo

According to our database, Martín Pozo authored at least 4 papers between 2024 and 2026.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2026

Not Everything Is Permitted: Constrained Cartesian Abstractions for Optimal Classical Planning.

Martín Pozo, Álvaro Torralba, Carlos Linares López

Proceedings of the Fortieth AAAI Conference on Artificial Intelligence, 2026

2025

Abstraction Heuristics for Classical Planning Tasks with Conditional Effects.

Martín Pozo, Jendrik Seipp

Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence, 2025

2024

Gotta Catch 'Em All! Sequence Flaws in CEGAR for Classical Planning.

Martín Pozo, Álvaro Torralba, Carlos Linares López

Proceedings of the ECAI 2024 - 27th European Conference on Artificial Intelligence, 19-24 October 2024, Santiago de Compostela, Spain, 2024

When CEGAR Meets Regression: A Love Story in Optimal Classical Planning.

Martín Pozo, Álvaro Torralba, Carlos Linares López

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024