Remo Christen

Remo Christen
Address
Department of Mathematics and Computer Science
Spiegelgasse 5
CH - 4051 Basel, Switzerland
Room
04.001
Email
Phone
+41 61 207 55 83

Publications

(Show all abstracts) (Hide all abstracts)

2023

  • 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 Artifical Intelligence (ECAI 2023), pp. 453-460. 2023.
    (PDF) (slides; PDF) (poster; PDF) (code, scripts and data)

  • Clemens Büchner, Remo Christen, Augusto B. Corrêa, Salomé Eriksson, Patrick Ferber, Jendrik Seipp and Silvan Sievers.
    Fast Downward Stone Soup 2023 (planner abstract).
    In Tenth International Planning Competition (IPC 2023), Deterministic Part. 2023.
    (PDF) (code, scripts and data)

  • Clemens Büchner, Remo Christen, Salomé Eriksson and Thomas Keller.
    DALAI - Disjunctive Action Landmarks All In (planner abstract).
    In Tenth International Planning Competition (IPC 2023), Deterministic Part. 2023.
    (PDF)

  • 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 ICAPS 2023 Workshop on Heuristics and Search for Domain-independent Planning (HSDIP 2023). 2023.
    Note: This paper is superseded by the ECAI 2023 paper by the same name.
    (Show abstract) (PDF) (slides; PDF)

  • Esther Mugdan, Remo Christen and Salomé Eriksson.
    Optimality Certificates for Classical Planning.
    In Proceedings of the 33rd International Conference on Automated Planning and Scheduling (ICAPS 2023), pp. 286-294. 2023.
    (Show abstract) (PDF) (slides; PDF) (code)

  • Augusto B. Corrêa, Clemens Büchner and Remo Christen.
    Zero-Knowledge Proofs for Classical Planning Problems.
    In Proceedings of the 37th AAAI Conference on Artificial Intelligence (AAAI 2023), pp. 11955-11962. 2023.
    (Show abstract) (PDF) (slides; PDF) (technical report; PDF)

2022

  • 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 Combinatorial Reconfiguration Challenge (CoRe Challenge 2022), pp. 15-22. 2022.
    (PDF)

  • Remo Christen, Salomé Eriksson, Florian Pommerening and Malte Helmert.
    Detecting Unsolvability Based on Separating Functions.
    In Proceedings of the 32nd International Conference on Automated Planning and Scheduling (ICAPS 2022), pp. 44-52. 2022.
    (Show abstract) (PDF) (slides; PDF) (poster; PDF) (code, scripts, and data)

Awards