David Speck

Álvaro Torralba

J. Artif. Intell. Res., 2025

Representing Perfect Saturated Cost Partitioning Heuristics in Classical Planning.

[BibT_eX]

[DOI]

Paul Höft

Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning, 2025

Interactive Exploration of Plan Spaces.

[BibT_eX]

[DOI]

Johannes Klaus Fichte

Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning, 2025

AxSAT - Bringing Axioms to SAT Planning.

[BibT_eX]

[DOI]

Gregor Behnke

Proceedings of the Logics in Artificial Intelligence - 19th European Conference, 2025

Decoupled Search for the Masses: A Novel Task Transformation for Classical Planning (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence, 2025

Merging Cartesian Abstractions for Classical Planning.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2025 - 28th European Conference on Artificial Intelligence, 25-30 October 2025, Bologna, Italy, 2025

On Performance Guarantees for Symbolic Search in Classical Planning.

[BibT_eX]

[DOI]

Malte Helmert

Proceedings of the ECAI 2025 - 28th European Conference on Artificial Intelligence, 25-30 October 2025, Bologna, Italy, 2025

Counting and Reasoning with Plans.

[BibT_eX]

[DOI]

Markus Hecher

Johannes Klaus Fichte

Augusto B. Corrêa

Proceedings of the Thirty-Ninth AAAI Conference on Artificial Intelligence, 2025

2024

Versatile Cost Partitioning with Exact Sensitivity Analysis.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fourth International Conference on Automated Planning and Scheduling, 2024

Decoupled Search for the Masses: A Novel Task Transformation for Classical Planning.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fourth International Conference on Automated Planning and Scheduling, 2024

2023

Sensitivity Analysis for Saturated Post-Hoc Optimization in Classical Planning.

[BibT_eX]

[DOI]

Paul Höft

Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023

PARIS: Planning Algorithms for Reconfiguring Independent Sets.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023

On Partial Satisfaction Planning with Total-Order HTNs.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling, 2023

Finding Matrix Multiplication Algorithms with Classical Planning.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling, 2023

2022

Symbolic search for optimal planning with expressive extensions

[BibT_eX]

[DOI]

PhD thesis, 2022

Symbolic Search for Optimal Planning with Expressive Extensions.

[BibT_eX]

[DOI]

CoRR, 2022

On Bidirectional Heuristic Search in Classical Planning: An Analysis of BAE.

[BibT_eX]

[DOI]

Kilian Hu

Proceedings of the Fifteenth International Symposium on Combinatorial Search, 2022

Loopless Top-K Planning.

[BibT_eX]

[DOI]

Julian von Tschammer

Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, 2022

New Refinement Strategies for Cartesian Abstractions.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, 2022

2021

Subset-Saturated Transition Cost Partitioning.

[BibT_eX]

[DOI]

Dominik Drexler

Proceedings of the Thirty-First International Conference on Automated Planning and Scheduling, 2021

On the Compilability and Expressive Power of State-Dependent Action Costs.

[BibT_eX]

[DOI]

Proceedings of the Thirty-First International Conference on Automated Planning and Scheduling, 2021

Learning Heuristic Selection with Dynamic Algorithm Configuration.

[BibT_eX]

[DOI]

Proceedings of the Thirty-First International Conference on Automated Planning and Scheduling, 2021

Symbolic Search for Optimal Total-Order HTN Planning.

[BibT_eX]

[DOI]

Gregor Behnke

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

Symbolic Search for Oversubscription Planning.

[BibT_eX]

[DOI]

Michael Katz

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

Trial-Based Heuristic Tree Search for MDPs with Factored Action Spaces.

[BibT_eX]

[DOI]

Florian Geißer

Thomas Keller

Proceedings of the Thirteenth International Symposium on Combinatorial Search, 2020

When Perfect Is Not Good Enough: On the Search Behaviour of Symbolic Heuristic Search.

[BibT_eX]

[DOI]

Florian Geißer

Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling, 2020

Symbolic Top-k Planning.

[BibT_eX]

[DOI]

Bernhard Nebel

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

An Empirical Study of the Usefulness of State-Dependent Action Costs in Planning.

[BibT_eX]

[DOI]

Proceedings of the KI 2019: Advances in Artificial Intelligence, 2019

Symbolic Planning with Axioms.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling, 2019

2018

Symbolic Planning with Edge-Valued Multi-Valued Decision Diagrams.

[BibT_eX]

[DOI]

Florian Geißer

Proceedings of the Twenty-Eighth International Conference on Automated Planning and Scheduling, 2018

2017

Shakey 2016 - How Much Does it Take to Redo Shakey the Robot?

[BibT_eX]

[DOI]

Christian Dornhege

Wolfram Burgard

IEEE Robotics Autom. Lett., 2017

2015

Necessary Observations in Nondeterministic Planning.

[BibT_eX]

[DOI]

Manuela Ortlieb