Detecting Unsolvability Based on Separating Functions. - Remo Christen; Salomé Eriksson; Florian Pommerening; Malte Helmert (ICAPS, 2022)

Zero-Knowledge Proofs for Classical Planning Problems. - Augusto B. Corrêa; Clemens Büchner; Remo Christen (AAAI, 2023)

Optimality Certificates for Classical Planning. - Esther Mugdan; Remo Christen; Salomé Eriksson (ICAPS, 2023)

PARIS: Planning Algorithms for Reconfiguring Independent Sets. - Remo Christen; Salomé Eriksson; Michael Katz 001; Christian Muise; Alice Petrov; Florian Pommerening; Jendrik Seipp; Silvan Sievers; David Speck 001 (ECAI, 2023)

Hitting Set Heuristics for Overlapping Landmarks in Satisficing Planning. - Clemens Büchner; Remo Christen; Salomé Eriksson; Thomas Keller 001 (SOCS, 2024)

A Formalism for Optimal Search with Dynamic Heuristics. - Remo Christen; Florian Pommerening; Clemens Büchner; Malte Helmert (CoRR, 2025)