PPaperPicks

Malte Helmert

6 papers at tracked venues · 2 at CORE A* · active 2024–2025

DBLP profile ↗ORCID search ↗

Venues

AAAI ×2ICAPS ×2ECAI ×1KR ×1

Frequent coauthors

Simon Dold
DBLP profile ↗ORCID search ↗
×2
Remo Christen
DBLP profile ↗ORCID search ↗
×1
Claudia Grundke
DBLP profile ↗ORCID search ↗
×1
David Speck
DBLP profile ↗ORCID search ↗
×1
Songtuan Lin
DBLP profile ↗ORCID search ↗
×1

Papers

  1. A Formalism for Optimal Search with Dynamic Heuristics
    ICAPS 2025 ·
    Remo Christen
    DBLP profile ↗ORCID search ↗
  2. Domain-Independent Instance Generation for Classical Planning
    KR 2025 ·
    Claudia Grundke
    DBLP profile ↗ORCID search ↗
  3. On Performance Guarantees for Symbolic Search in Classical Planning
    ECAI 2025 ·
    David Speck
    DBLP profile ↗ORCID search ↗
  4. Pseudo-Boolean Proof Logging for Optimal Classical Planning
    ICAPS 2025 ·
    Simon Dold
    DBLP profile ↗ORCID search ↗
  5. Novelty vs. Potential Heuristics: A Comparison of Hardness Measures for Satisficing Planning
    AAAI 2024 ·
    Simon Dold
    DBLP profile ↗ORCID search ↗
  6. On the Computational Complexity of Plan Verification, (Bounded) Plan-Optimality Verification, and Bounded Plan Existence
    AAAI 2024 ·
    Songtuan Lin
    DBLP profile ↗ORCID search ↗