Login / Signup
Conny Olz
Publication Activity (10 Years)
Years Active: 2019-2024
Publications (10 Years): 7
Top Topics
Complexity Analysis
Makespan Minimization
Htn Planning
Plan Existence
Top Venues
AAAI
ICAPS
RO-MAN
SOCS
</>
Publications
</>
Songtuan Lin
,
Conny Olz
,
Malte Helmert
,
Pascal Bercher
On the Computational Complexity of Plan Verification, (Bounded) Plan-Optimality Verification, and Bounded Plan Existence.
AAAI
(2024)
Conny Olz
,
Pascal Bercher
Can They Come Together? A Computational Complexity Analysis of Conjunctive Possible Effects of Compound HTN Planning Tasks.
ICAPS
(2023)
Conny Olz
,
Pascal Bercher
A Look-Ahead Technique for Search-Based HTN Planning: Reducing the Branching Factor by Identifying Inevitable Task Refinements.
SOCS
(2023)
Felix Lindner
,
Conny Olz
Step-by-Step Task Plan Explanations Beyond Causal Links.
RO-MAN
(2022)
Conny Olz
,
Susanne Biundo
,
Pascal Bercher
Revealing Hidden Preconditions and Effects of Compound HTN Planning Tasks - A Complexity Analysis.
AAAI
(2021)
Pascal Bercher
,
Conny Olz
POP ≡ POCL, Right? Complexity Results for Partial Order (Causal Link) Makespan Minimization.
AAAI
(2020)
Conny Olz
,
Pascal Bercher
Eliminating Redundant Actions in Partially Ordered Plans - A Complexity Analysis.
ICAPS
(2019)