Martín Pozo
3 papers · 2024–2026 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓
🌍
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)
abstraction heuristic
(1)
conditional effect
(1)
backward search
(1)
counterexample-guided abstraction refinement
(1)
automated planning
(1)
optimal classical planning
(1)