Remo Christen

According to our database, Remo Christen authored at least 4 papers between 2022 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

PARIS: Planning Algorithms for Reconfiguring Independent Sets.

Remo Christen, Salomé Eriksson, Michael Katz, Christian Muise, Alice Petrov, Florian Pommerening, Jendrik Seipp, Silvan Sievers, David Speck

Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023

Optimality Certificates for Classical Planning.

Esther Mugdan, Remo Christen, Salomé Eriksson

Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling, 2023

Zero-Knowledge Proofs for Classical Planning Problems.

Augusto B. Corrêa, Clemens Büchner, Remo Christen

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

Detecting Unsolvability Based on Separating Functions.

Remo Christen, Salomé Eriksson, Florian Pommerening, Malte Helmert

Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, 2022