P
PaperPicks
Conferences
Researchers
Sponsors ♥
Conny Olz
3 papers at tracked venues · 1 at CORE A* · active 2024–2025
DBLP profile ↗
ORCID search ↗
Venues
ECAI
×2
AAAI
×1
Frequent coauthors
Pascal Bercher
×3
Alexander Lodemann
×2
Michael Welt
×1
Birte Glimm
×1
Songtuan Lin
×1
Malte Helmert
×1
Papers
Calculating Optimal Corrections for Unsolvable Planning Problems
BibTeX ⧉
ECAI 2025
·
Michael Welt
,
Alexander Lodemann
,
Conny Olz
,
Pascal Bercher
,
Birte Glimm
A Heuristic for Optimal Total-Order HTN Planning Based on Integer Linear Programming
BibTeX ⧉
ECAI 2024
·
Conny Olz
,
Alexander Lodemann
,
Pascal Bercher
On the Computational Complexity of Plan Verification, (Bounded) Plan-Optimality Verification, and Bounded Plan Existence
BibTeX ⧉
AAAI 2024
·
Songtuan Lin
,
Conny Olz
,
Malte Helmert
,
Pascal Bercher