Martín Pozo
3 papers
· 2024–2026
· 2 conferences
· across top CS/AI conferences
Achievements
🌍
Conference Polyglot
(2)
🌉
Interdisciplinary Bridge
🧭
Keyword Pioneer
🐝
Cross-Pollinator
(11)
Conferences
AAAI (2)
IJCAI (1)
Top co-authors
Keywords
cartesian abstraction
(2)
heuristic search
(1)
heuristic function
(1)
regression analysis
(1)
admissible heuristic
(1)
classical planning
(1)
state constraint
(1)
optimal planning
(1)
conditional effect
(1)
backward search
(1)
abstraction heuristics
(1)
counterexample-guided abstraction refinement
(1)
automated planning
(1)
optimal classical planning
(1)