Remo Christen

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 5

Top Topics

Heuristic Search

Temporally Extended Goals

Classical Planning

Top Venues

Publications

Clemens Büchner, Remo Christen, Salomé Eriksson, Thomas Keller
Hitting Set Heuristics for Overlapping Landmarks in Satisficing Planning. SOCS (2024)
Remo Christen, Salomé Eriksson, Michael Katz, Christian Muise, Alice Petrov, Florian Pommerening, Jendrik Seipp, Silvan Sievers, David Speck
PARIS: Planning Algorithms for Reconfiguring Independent Sets. ECAI (2023)
Esther Mugdan, Remo Christen, Salomé Eriksson
Optimality Certificates for Classical Planning. ICAPS (2023)
Augusto B. Corrêa, Clemens Büchner, Remo Christen
Zero-Knowledge Proofs for Classical Planning Problems. AAAI (2023)
Remo Christen, Salomé Eriksson, Florian Pommerening, Malte Helmert
Detecting Unsolvability Based on Separating Functions. ICAPS (2022)