Awards

• Winner of the Explainability Challenge of the Beluga Competition with Elliot Gestrin, Gustaf Söderholm, Mauricio Salerno, Jendrik Seipp, and Daniel Gnad organized by the TUPLES Consortium.
• Winner, Deterministic Optimal Track for the Ragnarok planner with Dominik Drexler, Daniel Gnad, Jendrik Seipp, David Speck, and Simon Ståhlberg at the 10th International Planning Competition (IPC 2023) at ICAPS 2023.

Publications

2024

• 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

2023

• 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

• 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

• Paul Höft, David Speck and Jendrik Seipp.
  Dofri.
  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.)

• 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