This page shows the publications of our lab. For a full list of an author's publications, please consult their personal page.

Publications

2025

  • Daniel Gnad, Markus Hecher, Sarah Gaggl, Dominik Rusovac, David Speck and Johannes K. Fichte.
    Interactive Exploration of Plan Spaces.
    In Proceedings of the Twenty-Second International Conference on Principles of Knowledge Representation and Reasoning (KR 2025). 2025.
    code | citation

  • Paul Höft, David Speck and Jendrik Seipp.
    Representing Perfect Saturated Cost Partitioning Heuristics in Classical Planning.
    In Proceedings of the Twenty-Second International Conference on Principles of Knowledge Representation and Reasoning (KR 2025). 2025.
    paper | code | citation

  • Augusto B. Corrêa and Jendrik Seipp.
    Alternation-Based Novelty Search.
    In Proceedings of the Thirty-Fifth International Conference on Automated Planning and Scheduling (ICAPS 2025). 2025.
    paper | code | citation

  • Farid Musayev, Dominik Drexler, Daniel Gnad and Jendrik Seipp.
    Combining Heuristics and Transition Classifiers in Classical Planning.
    In Proceedings of the 28th European Conference on Artificial Intelligence (ECAI 2025). 2025.
    citation

  • Mauricio Salerno, Raquel Fuentetaja, David Speck and Jendrik Seipp.
    Merging Cartesian Abstractions for Classical Planning.
    In Proceedings of the 28th European Conference on Artificial Intelligence (ECAI 2025). 2025.
    citation

  • Gregor Behnke, David Speck and Daniel Gnad.
    AxSAT – Bringing Axioms to SAT Planning.
    In Logics in Artificial Intelligence, pp. 77–93. 2025.
    paper | code | citation

  • Martín Pozo and Jendrik Seipp.
    Abstraction Heuristics for Classical Planning Tasks with Conditional Effects.
    In Proceedings of the 34th International Joint Conference on Artificial Intelligence (IJCAI 2025). 2025.
    paper | slides | code | citation

  • Augusto B. Corrêa, André Grahl Pereira and Jendrik Seipp.
    Classical Planning with LLM-Generated Heuristics: Challenging the State of the Art with Python Code.
    In arXiv:2503.18809 [cs.AI]. 2025.
    paper | citation

  • David Speck, Jendrik Seipp and Álvaro Torralba.
    Symbolic Search for Cost-Optimal Planning with Expressive Model Extensions.
    Journal of Artificial Intelligence Research 82, pp. 1349–1405. 2025.
    paper | code | citation

  • Daniel Gnad, Lee or Alon, Eyal Weiss and Alexander Shleyfman.
    PDBs Go Numeric: Pattern-Database Heuristics for Simple Numeric Planning.
    In Proceedings of the Thirty-Ninth AAAI Conference on Artificial Intelligence (AAAI 2025). 2025.
    paper | code | citation

  • David Speck, Markus Hecher, Daniel Gnad, Johannes K. Fichte and Augusto B. Corrêa.
    Counting and Reasoning with Plans.
    In Proceedings of the Thirty-Ninth AAAI Conference on Artificial Intelligence (AAAI 2025), pp. 26688–26696. 2025.
    paper | code | citation

  • Oliver Joergensen, Vy Le, Tin Nguyen, Khang Nguyen and Ginel Dorleon.
    Optimizing Elevator Performance with SARL Multi-Agent Systems: A Distributed Approach for Enhanced Responsiveness and Efficiency.
    In Proceedings of the 17th International Conference on Agents and Artificial Intelligence (ICAART). 2025.
    paper | citation

2024

  • Dominik Drexler, Simon Ståhlberg, Blai Bonet and Hector Geffner.
    Symmetries and Expressive Requirements for Learning General Policies.
    In Proceedings of the Twenty-First International Conference on Principles of Knowledge Representation and Reasoning (KR 2024). 2024.
    paper | slides | citation

  • Martin Funkquist, Simon Ståhlberg and Hector Geffner.
    Learning to Ground Existentially Quantified Goals.
    In Proceedings of the Twenty-First International Conference on Principles of Knowledge Representation and Reasoning (KR 2024). 2024.
    paper | slides | code | citation

  • Jendrik Seipp.
    Dissecting Scorpion: Ablation Study of an Optimal Classical Planner.
    In Proceedings of the 27th European Conference on Artificial Intelligence (ECAI 2024), pp. 39–42. 2024.
    paper | slides | code | citation

  • Mika Skjelnes, Daniel Gnad and Jendrik Seipp.
    Cost Partitioning for Multiple Sequence Alignment.
    In Proceedings of the 27th European Conference on Artificial Intelligence (ECAI 2024), pp. 4224–4231. 2024.
    paper | code | citation

  • Blai Bonet, Dominik Drexler and Hector Geffner.
    On Policy Reuse: An Expressive Language for Representing and Executing General Policies that Call Other Policies.
    In Proceedings of the Thirty-Fourth International Conference on Automated Planning and Scheduling (ICAPS 2024), pp. 31–39. 2024.
    paper | slides | citation

  • Clemens Büchner, Patrick Ferber, Jendrik Seipp and Malte Helmert.
    Abstraction Heuristics for Factored Tasks.
    In Proceedings of the Thirty-Fourth International Conference on Automated Planning and Scheduling (ICAPS 2024), pp. 40–49. 2024.
    paper | slides | poster | code | citation

  • Paul Höft, David Speck, Florian Pommerening and Jendrik Seipp.
    Versatile Cost Partitioning with Exact Sensitivity Analysis.
    In Proceedings of the Thirty-Fourth International Conference on Automated Planning and Scheduling (ICAPS 2024), pp. 276–280. 2024.
    paper | slides | poster | code | citation

  • Jendrik Seipp.
    Efficiently Computing Transitions in Cartesian Abstractions.
    In Proceedings of the Thirty-Fourth International Conference on Automated Planning and Scheduling (ICAPS 2024), pp. 509–513. 2024.
    paper | slides | code | citation

  • David Speck and Daniel Gnad.
    Decoupled Search for the Masses: A Novel Task Transformation for Classical Planning.
    In Proceedings of the Thirty-Fourth International Conference on Automated Planning and Scheduling (ICAPS 2024), pp. 546–554. 2024.
    paper | slides | code | citation

  • Elliot Gestrin, Marco Kuhlmann and Jendrik Seipp.
    NL2Plan: Robust LLM-Driven Planning from Minimal Text Descriptions.
    In ICAPS 2024 Workshop on Human-Aware and Explainable Planning (HAXP). 2024.
    paper | slides | citation

  • Augusto B. Corrêa and Jendrik Seipp.
    Consolidating LAMA with Best-First Width Search.
    In ICAPS 2024 Workshop on Heuristics and Search for Domain-independent Planning (HSDIP). 2024.
    paper | slides | citation

  • Daniel Gnad, Lee or Alon, Eyal Weiss and Alexander Shleyfman.
    PDBs Go Numeric: Pattern-Database Heuristics for Simple Numeric Planning.
    In ICAPS 2024 Workshop on Heuristics and Search for Domain-independent Planning (HSDIP). 2024.
    paper | citation

  • Daniel Gnad and David Speck.
    On an Attempt at Casting Orbit Search as a Task Transformation.
    In ICAPS 2024 Workshop on Echoing (failed) Efforts in Planning (WEEP). 2024.
    paper | citation

  • Dominik Drexler, Simon Ståhlberg, Blai Bonet and Hector Geffner.
    Equivalence-Based Abstractions for Learning General Policies.
    In ICAPS 2024 Workshop on Bridging the Gap Between AI Planning and Reinforcement Learning (PRL). 2024.
    paper | slides | citation

  • Kristina Levina, Nikolaos Pappas, Athanasios Karapantelakis, Aneta Vulgarakis Feljan and Jendrik Seipp.
    Numeric Reward Machines.
    In ICAPS 2024 Workshop on Bridging the Gap Between AI Planning and Reinforcement Learning (PRL). 2024.
    paper | poster | citation

  • Mika Skjelnes, Daniel Gnad and Jendrik Seipp.
    Cost Partitioning for Multiple Sequence Alignment.
    In ICAPS 2024 Workshop on Heuristics and Search for Domain-independent Planning (HSDIP). 2024.
    paper | slides | citation (Superseded by the ECAI 2024 paper with the same name.)

  • Dominik Drexler, Jendrik Seipp and Hector Geffner.
    Expressing and Exploiting Subgoal Structure in Classical Planning Using Sketches.
    Journal of Artificial Intelligence Research 80, pp. 171–208. 2024.
    paper | code | citation

  • Damien Van Meerbeeck, Gilles Pesant and Jendrik Seipp.
    End-to-End Classical Planning using CP and Belief Propagation (Extended Abstract).
    In Extended Abstracts Presented at CPAIOR 2024. 2024.
    paper | poster | citation

  • Ayal Taitler, Ron Alford, Joan Espasa, Gregor Behnke, Daniel Fišer, Michael Gimelfarb, Florian Pommerening, Scott Sanner, Enrico Scala, Dominik Schreiber, Javier Segovia-Aguas and Jendrik Seipp.
    The 2023 International Planning Competition.
    AI Magazine 45, pp. 280–296. 2024.
    paper | citation

2023

  • Blai Bonet, Dominik Drexler and Hector Geffner.
    General and Reusable Indexical Policies and Sketches.
    In NeurIPS 2023 Workshop on Generalization in Planning. 2023.
    paper | poster | code | citation

  • Remo Christen, Salomé Eriksson, Michael Katz, Christian Muise, Alice Petrov, Florian Pommerening, Jendrik Seipp, Silvan Sievers and David Speck.
    PARIS: Planning Algorithms for Reconfiguring Independent Sets.
    In Proceedings of the 26th European Conference on Artificial Intelligence (ECAI 2023), pp. 453–460. 2023.
    paper | slides | poster | code | citation

  • Paul Höft, David Speck and Jendrik Seipp.
    Sensitivity Analysis for Saturated Post-hoc Optimization in Classical Planning.
    In Proceedings of the 26th European Conference on Artificial Intelligence (ECAI 2023), pp. 1044–1051. 2023.
    paper | slides | poster | code | citation

  • Thorsten Klößner, Jendrik Seipp and Marcel Steinmetz.
    Cartesian Abstractions and Saturated Cost Partitioning in Probabilistic Planning.
    In Proceedings of the 26th European Conference on Artificial Intelligence (ECAI 2023), pp. 1272–1279. 2023.
    paper | slides | poster | code | citation

  • Simon Ståhlberg.
    Lifted Successor Generation by Maximum Clique Enumeration.
    In Proceedings of the 26th European Conference on Artificial Intelligence (ECAI 2023), pp. 2194–2201. 2023.
    paper | citation

  • Simon Ståhlberg, Blai Bonet and Hector Geffner.
    Learning General Policies with Policy Gradient Methods.
    In Proceedings of the Twentieth International Conference on Principles of Knowledge Representation and Reasoning (KR 2023), pp. 647–657. 2023.
    paper | citation

  • Dominik Drexler, Jendrik Seipp and Hector Geffner.
    Learning Hierarchical Policies by Iteratively Reducing the Width of Sketch Rules.
    In Proceedings of the Twentieth International Conference on Principles of Knowledge Representation and Reasoning (KR 2023), pp. 208–218. 2023.
    paper | slides | code | citation

  • Mauricio Salerno, Raquel Fuentetaja and Jendrik Seipp.
    Eliminating Redundant Actions from Plans using Classical Planning.
    In Proceedings of the Twentieth International Conference on Principles of Knowledge Representation and Reasoning (KR 2023), pp. 774–778. 2023.
    paper | code | citation

  • Clemens Büchner, Remo Christen, Augusto B. Corrêa, Salomé Eriksson, Patrick Ferber, Jendrik Seipp and Silvan Sievers.
    Fast Downward Stone Soup 2023.
    In Tenth International Planning Competition (IPC-10): Planner Abstracts. 2023.
    paper | code | citation

  • Augusto B. Corrêa, Guillem Francès, Markus Hecher, Davide Mario Longo and Jendrik Seipp.
    Levitron: Combining Ground and Lifted Planning.
    In Tenth International Planning Competition (IPC-10): Planner Abstracts. 2023.
    paper | citation

  • Augusto B. Corrêa, Guillem Francès, Markus Hecher, Davide Mario Longo and Jendrik Seipp.
    The Powerlifted Planning System in the IPC 2023.
    In Tenth International Planning Competition (IPC-10): Planner Abstracts. 2023.
    paper | citation

  • Augusto B. Corrêa, Guillem Francès, Markus Hecher, Davide Mario Longo and Jendrik Seipp.
    Scorpion Maidu: Width Search in the Scorpion Planning System.
    In Tenth International Planning Competition (IPC-10): Planner Abstracts. 2023.
    paper | citation

  • Dominik Drexler, Daniel Gnad, Paul Höft, Jendrik Seipp, David Speck and Simon Ståhlberg.
    Ragnarok.
    In Tenth International Planning Competition (IPC-10): Planner Abstracts. 2023.
    paper | citation

  • Dominik Drexler, Jendrik Seipp and David Speck.
    Odin: A Planner Based on Saturated Transition Cost Partitioning.
    In Tenth International Planning Competition (IPC-10): Planner Abstracts. 2023.
    paper | citation

  • Patrick Ferber, Michael Katz, Jendrik Seipp, Silvan Sievers, Daniel Borrajo, Isabel Cenamor, Tomas de la Rosa, Fernando Fernandez-Rebollo, Carlos Linares López, Sergio Nuñez, Alberto Pozanco, Horst Samulowitz and Shirin Sohrabi.
    Hapori Stone Soup.
    In Tenth International Planning Competition (IPC-10): Planner Abstracts. 2023.
    paper | citation

  • Maximilian Fickert and Daniel Gnad.
    DiSCO: Decoupled Search + COnjunctions.
    In Tenth International Planning Competition (IPC-10): Planner Abstracts. 2023.
    paper | citation

  • Daniel Gnad, Silvan Sievers and Álvaro Torralba.
    DecAbStar.
    In Tenth International Planning Competition (IPC-10): Planner Abstracts. 2023.
    paper | citation

  • Daniel Gnad, Álvaro Torralba and Alexander Shleyfman.
    DecStar-2023.
    In Tenth International Planning Competition (IPC-10): Planner Abstracts. 2023.
    paper | citation

  • Paul Höft, David Speck and Jendrik Seipp.
    Dofri.
    In Tenth International Planning Competition (IPC-10): Planner Abstracts. 2023.
    paper | citation

  • Mauricio Salerno, Raquel Fuentetaja and Jendrik Seipp.
    Spock: Fast Downward Stone Soup with Redundant Action Elimination.
    In Tenth International Planning Competition (IPC-10): Planner Abstracts. 2023.
    paper | citation

  • Jendrik Seipp.
    Scorpion 2023.
    In Tenth International Planning Competition (IPC-10): Planner Abstracts. 2023.
    paper | citation

  • David Speck.
    SymK – A Versatile Symbolic Search Planner.
    In Tenth International Planning Competition (IPC-10): Planner Abstracts. 2023.
    paper | citation

  • David Speck, Paul Höft, Daniel Gnad and Jendrik Seipp.
    Finding Matrix Multiplication Algorithms with Classical Planning — Extended Abstract.
    In The 35th Annual Workshop of the Swedish Artificial Intelligence Society (SAIS). 2023.
    paper | slides | poster | code | citation (Superseded by the ICAPS 2023 paper with the same name.)

  • Dominik Drexler and Jendrik Seipp.
    DLPlan: Description Logics State Features for Planning.
    In ICAPS 2023 System Demonstrations and Exhibits. 2023.
    paper | citation

  • Daniel Gnad, Malte Helmert, Peter Jonsson and Alexander Shleyfman.
    Planning over Integers: Compilations and Undecidability.
    In Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling (ICAPS 2023), pp. 148–152. 2023.
    paper | citation

  • Daniel Gnad, Silvan Sievers and Álvaro Torralba.
    Efficient Evaluation of Large Abstractions for Decoupled Search: Merge-and-Shrink and Symbolic Pattern Databases.
    In Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling (ICAPS 2023), pp. 138–147. 2023.
    paper | code | citation

  • David Speck, Paul Höft, Daniel Gnad and Jendrik Seipp.
    Finding Matrix Multiplication Algorithms with Classical Planning.
    In Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling (ICAPS 2023), pp. 411–416. 2023.
    paper | slides | poster | code | citation

  • Gregor Behnke, David Speck, Michael Katz and Shirin Sohrabi.
    On Partial Satisfaction Planning with Total-Order HTNs.
    In Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling (ICAPS 2023), pp. 42–51. 2023.
    paper | code | citation

  • Alexander Shleyfman, Daniel Gnad and Peter Jonsson.
    Structurally Restricted Fragments of Numeric Planning – A Complexity Analysis.
    In Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence (AAAI 2023), pp. 12112–12119. 2023.
    paper | citation

2022

  • Simon Ståhlberg, Blai Bonet and Hector Geffner.
    Learning Generalized Policies without Supervision Using GNNs.
    In Proceedings of the Nineteenth International Conference on Principles of Knowledge Representation and Reasoning (KR 2022), pp. 474–483. 2022.
    paper | slides | code | citation

  • Patrick Ferber, Liat Cohen, Jendrik Seipp and Thomas Keller.
    Learning and Exploiting Progress States in Greedy Best-First Search.
    In Proceedings of the 31st International Joint Conference on Artificial Intelligence (IJCAI 2022), pp. 4740–4746. 2022.
    paper | slides | poster | code | citation

  • Dominik Drexler, Javier Segovia-Aguas and Jendrik Seipp.
    Learning General Policies and Helpful Action Classifiers from Partial State Spaces.
    In IJCAI 2022 Workshop on Generalization in Planning. 2022.
    paper | slides | citation

  • Silvan Sievers, Daniel Gnad and Álvaro Torralba.
    Additive Pattern Databases for Decoupled Search.
    In Proceedings of the 15th Annual Symposium on Combinatorial Search (SoCS 2022), pp. 180–189. 2022.
    paper | code | citation

  • Kilian Hu and David Speck.
    On Bidirectional Heuristic Search in Classical Planning: An Analysis of BAE*.
    In Proceedings of the 15th Annual Symposium on Combinatorial Search (SoCS 2022), pp. 91–99. 2022.
    paper | slides | code | citation

  • Remo Christen, Salomé Eriksson, Michael Katz, Emil Keyder, Christian Muise, Alice Petrov, Florian Pommerening, Jendrik Seipp, Silvan Sievers and David Speck.
    (PARIS) Planning Algorithms for Reconfiguring Independent Sets.
    In First CoRe Challenge: Solver and Graph Descriptions, pp. 15–22. 2022.
    paper | citation

  • Simon Ståhlberg, Blai Bonet and Hector Geffner.
    Learning General Optimal Policies with Graph Neural Networks: Expressive Power, Transparency, and Limits.
    In Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling (ICAPS 2022), pp. 629–637. 2022.
    paper | slides | citation

  • Augusto B. Corrêa and Jendrik Seipp.
    Best-First Width Search for Lifted Classical Planning.
    In Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling (ICAPS 2022), pp. 11–15. 2022.
    paper | slides | poster | code | citation

  • Dominik Drexler, Jendrik Seipp and Hector Geffner.
    Learning Sketches for Decomposing Planning Problems into Subproblems of Bounded Width.
    In Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling (ICAPS 2022), pp. 62–70. 2022.
    paper | slides | poster | code | citation

  • Daniel Gnad, Álvaro Torralba and Daniel Fišer.
    Beyond Stars - Generalized Topologies for Decoupled Search.
    In Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling (ICAPS 2022), pp. 110–118. 2022.
    paper | code | citation

  • David Speck and Jendrik Seipp.
    New Refinement Strategies for Cartesian Abstractions.
    In Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling (ICAPS 2022), pp. 348–352. 2022.
    paper | slides | recording | poster | code | citation

  • Julian von Tschammer, Robert Mattmüller and David Speck.
    Loopless Top-K Planning.
    In Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling (ICAPS 2022), pp. 380–384. 2022.
    paper | slides | recording | poster | citation

  • Christian Muise, Florian Pommerening, Jendrik Seipp and Michael Katz.
    Planutils: Bringing Planning to the Masses.
    In ICAPS 2022 System Demonstrations and Exhibits. 2022.
    paper | recording | poster | citation

  • Clemens Büchner, Patrick Ferber, Jendrik Seipp and Malte Helmert.
    A Comparison of Abstraction Heuristics for Rubik's Cube.
    In ICAPS 2022 Workshop on Heuristics and Search for Domain-independent Planning (HSDIP). 2022.
    paper | slides | recording | code | citation

  • André Biedenkapp, David Speck, Silvan Sievers, Frank Hutter, Marius Lindauer and Jendrik Seipp.
    Learning Domain-Independent Policies for Open List Selection.
    In ICAPS 2022 Workshop on Bridging the Gap Between AI Planning and Reinforcement Learning (PRL). 2022.
    paper | slides | recording | citation

  • David Speck.
    Symbolic Search for Optimal Planning with Expressive Extensions.
    PhD thesis, University of Freiburg, 2022.
    paper | citation

  • Patrick Ferber and Jendrik Seipp.
    Explainable Planner Selection for Classical Planning.
    In Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence (AAAI 2022), pp. 9741–9749. 2022.
    paper | slides | poster | code | citation

2021

  • Dominik Drexler, Jendrik Seipp and Hector Geffner.
    Expressing and Exploiting the Common Subgoal Structure of Classical Planning Domains Using Sketches.
    In Proceedings of the Eighteenth International Conference on Principles of Knowledge Representation and Reasoning (KR 2021), pp. 258–268. 2021.
    paper | slides | recording | poster | citation

  • Simon Ståhlberg, Guillem Francès and Jendrik Seipp.
    Learning Generalized Unsolvability Heuristics for Classical Planning.
    In Proceedings of the 30th International Joint Conference on Artificial Intelligence (IJCAI 2021), pp. 4175–4181. 2021.
    paper | slides | poster | code | citation

  • Dominik Drexler, Jendrik Seipp and David Speck.
    Subset-Saturated Transition Cost Partitioning.
    In Proceedings of the Thirty-First International Conference on Automated Planning and Scheduling (ICAPS 2021), pp. 131–139. 2021.
    paper | slides | poster | code | citation

  • Florian Pommerening, Thomas Keller, Valentina Halasi, Jendrik Seipp, Silvan Sievers and Malte Helmert.
    Dantzig-Wolfe Decomposition for Cost Partitioning.
    In Proceedings of the Thirty-First International Conference on Automated Planning and Scheduling (ICAPS 2021), pp. 271–280. 2021.
    paper | technical report | slides | recording | poster | code | citation

  • Jendrik Seipp.
    Online Saturated Cost Partitioning for Classical Planning.
    In Proceedings of the Thirty-First International Conference on Automated Planning and Scheduling (ICAPS 2021), pp. 317–321. 2021.
    paper | slides | poster | code | citation

  • Álvaro Torralba, Jendrik Seipp and Silvan Sievers.
    Automatic Instance Generation for Classical Planning.
    In Proceedings of the Thirty-First International Conference on Automated Planning and Scheduling (ICAPS 2021), pp. 376–384. 2021.
    paper | slides | poster | code | citation

  • Jendrik Seipp, Thomas Keller and Malte Helmert.
    Saturated Post-hoc Optimization for Classical Planning.
    In Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence (AAAI 2021), pp. 11947–11953. 2021.
    paper | slides | recording | poster | code | citation