PPaperPicks

Martín Pozo

4 papers at tracked venues · 2 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

AAAI ×2ECAI ×1IJCAI ×1

Frequent coauthors

Álvaro Torralba
×3
Carlos Linares López
×3
Jendrik Seipp
×1

Papers

  1. Not Everything Is Permitted: Constrained Cartesian Abstractions for Optimal Classical Planning
    AAAI 2026 · Martín Pozo,
    Álvaro Torralba
    ,
    Carlos Linares López
  2. Abstraction Heuristics for Classical Planning Tasks with Conditional Effects
    IJCAI 2025 · Martín Pozo,
    Jendrik Seipp
  3. Gotta Catch 'Em All! Sequence Flaws in CEGAR for Classical Planning
    ECAI 2024 · Martín Pozo,
    Álvaro Torralba
    ,
    Carlos Linares López
  4. When CEGAR Meets Regression: A Love Story in Optimal Classical Planning
    AAAI 2024 · Martín Pozo,
    Álvaro Torralba
    ,
    Carlos Linares López