Martín Pozo
PhD Student
About Me
I am a Ph.D. Student of the Computer Science and Engineering Department at Universidad Carlos III de Madrid, Spain. My main research interests are Automated Planning and Heuristic Search.
Short bio
I got my bachelor's and my master's at Universidad Carlos III (Spain). Before starting my Ph.D., I worked in different companies as a software engineer and systems administrator.
I am an open source enthusiast, with some side projects written in Rust.
Publications
2025
Martín Pozo and Jendrik Seipp.
Abstraction Heuristics for Classical Planning Tasks with Conditional Effects.
In Proceedings of the 34th International Joint Conference on Artificial Intelligence (IJCAI 2025), pp. 8608–8616. 2025.
paper citation
2024
Martín Pozo, Álvaro Torralba and Carlos Linares López.
Gotta Catch 'Em All! Sequence Flaws in CEGAR for Classical Planning.
In Proceedings of the 27th European Conference on Artificial Intelligence (ECAI 2024), pp. 4287–4294. 2024.
paper citationMartín Pozo, Álvaro Torralba and Carlos Linares López.
When CEGAR Meets Regression: A Love Story in Optimal Classical Planning.
In Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence (AAAI 2024), pp. 20238–20246. 2024.
paper citationMartín Pozo, Álvaro Torralba and Carlos Linares López.
When CEGAR Meets Regression: A Love Story in Optimal Classical Planning.
In Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence (AAAI 2024), pp. 20238 – 20246. 2024.
citationMartín Pozo, Álvaro Torralba and Carlos Linares López.
Gotta Catch'Em All! Sequence Flaws in CEGAR for Classical Planning.
Frontiers in Artificial Intelligence and Applications 392, pp. 4287 – 4294. 2024.
citation
2014
Martín Pozo, José Antonio Iglesias and Agapito Ismael Ledezma.
Intelligent promotions recommendation system for instaprom platform.
In International Conference on Intelligent Data Engineering and Automated Learning, pp. 231–238. 2014.
paper citation