Finding Matrix Multiplication Algorithms with Classical Planning. - David Speck 001; Paul Höft; Daniel Gnad 001; Jendrik Seipp (ICAPS, 2023)

Sensitivity Analysis for Saturated Post-Hoc Optimization in Classical Planning. - Paul Höft; David Speck 001; Jendrik Seipp (ECAI, 2023)

Versatile Cost Partitioning with Exact Sensitivity Analysis. - Paul Höft; David Speck 001; Florian Pommerening; Jendrik Seipp (ICAPS, 2024)