P
PaperPicks
Conferences
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
Michael Welt
DBLP profile ↗
ORCID search ↗
×1
Songtuan Lin
DBLP profile ↗
ORCID search ↗
×1
Papers
Calculating Optimal Corrections for Unsolvable Planning Problems
ECAI 2025
·
Michael Welt
DBLP profile ↗
ORCID search ↗
A Heuristic for Optimal Total-Order HTN Planning Based on Integer Linear Programming
ECAI 2024
·
Conny Olz
On the Computational Complexity of Plan Verification, (Bounded) Plan-Optimality Verification, and Bounded Plan Existence
AAAI 2024
·
Songtuan Lin
DBLP profile ↗
ORCID search ↗