145 citations · 239 across the 6 of their papers we have counts for
7 papers
Provably Complete Generalized Planning with LLMs
Katharina Stein, Chaahat Jain, Jörg Hoffmann +1
Generalized planning aims to compute a plan that solves all instances of a planning domain. Recent work has used LLMs to automatically generate and debug such generalized plans in…
Generating Instance Generators in PDDL Planning
Nicola J. Müller, Naya Rudolph, Katharina Stein +3
PDDL, the de-facto standard language in the AI Planning community, is designed to specify planning domains: sets of instances that share the same predicates and action schemas. Yet…
Specifying and Testing -Safety Properties for Machine-Learning Models
Maria Christakis, Hasan Ferit Eniser, Jörg Hoffmann +2
Machine-learning models are becoming increasingly prevalent in our lives, for instance assisting in image-classification or decision-making tasks. Consequently, the reliability of…
Iterative Planning with Plan-Space Explanations: A Tool and User Study
Rebecca Eifler, Jörg Hoffmann
In a variety of application settings, the user preference for a planning task - the precise optimization objective - is difficult to elicit. One possible remedy is planning as an i…
Engineering Benchmarks for Planning: the Domains Used in the Deterministic Part of IPC-4
S. Edelkamp, R. Englert, J. Hoffmann +3
In a field of research about general reasoning mechanisms, it is essential to have appropriate benchmarks. Ideally, the benchmarks should reflect possible applications of the devel…
Where 'Ignoring Delete Lists' Works: Local Search Topology in Planning Benchmarks
J. Hoffmann
Between 1998 and 2004, the planning community has seen vast progress in terms of the sizes of benchmark examples that domain-independent planners can tackle successfully. The key t…
The Deterministic Part of IPC-4: An Overview
S. Edelkamp, J. Hoffmann
We provide an overview of the organization and results of the deterministic part of the 4th International Planning Competition, i.e., of the part concerned with evaluating systems…