Malte Helmert

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

DBLP profile ↗ORCID search ↗

Venues

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

Frequent coauthors

Gabriele Röger

×2

Simon Dold

×2

Remo Christen

×1

Florian Pommerening

×1

Clemens Büchner

×1

Claudia Grundke

×1

David Speck

×1

Jakob Nordström

×1

Tanja Schindler

×1

Songtuan Lin

×1

Conny Olz

×1

Pascal Bercher

×1

Papers

A Formalism for Optimal Search with Dynamic Heuristics
ICAPS 2025 ·
Remo Christen
,
Florian Pommerening
,
Clemens Büchner
, Malte Helmert
Domain-Independent Instance Generation for Classical Planning
KR 2025 ·
Claudia Grundke
, Malte Helmert,
Gabriele Röger
On Performance Guarantees for Symbolic Search in Classical Planning
ECAI 2025 ·
David Speck
, Malte Helmert
Pseudo-Boolean Proof Logging for Optimal Classical Planning
ICAPS 2025 ·
Simon Dold
, Malte Helmert,
Jakob Nordström
,
Gabriele Röger
,
Tanja Schindler
Novelty vs. Potential Heuristics: A Comparison of Hardness Measures for Satisficing Planning
AAAI 2024 ·
Simon Dold
, Malte Helmert
On the Computational Complexity of Plan Verification, (Bounded) Plan-Optimality Verification, and Bounded Plan Existence
AAAI 2024 ·
Songtuan Lin
,
Conny Olz
, Malte Helmert,
Pascal Bercher