Codestin Search App

Awards

NeurIPS 2025 Top Reviewer Award for Jendrik Seipp at the 39th Annual Conference on Neural Information Processing Systems (NeurIPS 2025).
ICAPS 2025 Influential Paper Award for the paper Counterexample-guided Cartesian Abstraction Refinement for Jendrik Seipp and Malte Helmert at the 35th International Conference on Automated Planning and Scheduling (ICAPS 2025).
Winner of the Explainability Challenge of the Beluga Competition for Elliot Gestrin, Gustaf Söderholm, Paul Höft, Mauricio Salerno, Jendrik Seipp, and Daniel Gnad organized by the TUPLES Consortium.
Distinguished Teacher Award for the "Automated Planning" course for Jendrik Seipp awarded by Linköping University.
ICAPS 2024 Best Paper Award for the paper Decoupled Search for the Masses: A Novel Task Transformation for Classical Planning for David Speck and Daniel Gnad at the 34th International Conference on Automated Planning and Scheduling (ICAPS 2024).
ICAPS 2024 Best Dissertation Award for the doctoral thesis Symbolic Search for Optimal Planning with Expressive Extensions for David Speck at the 34th International Conference on Automated Planning and Scheduling (ICAPS 2024).
4x First Place, 2x Second Place at the Second CoRe Challenge for the system PARIS 2023: Planning Algorithms for Reconfiguring Independent Sets for Remo Christen, Salomé Eriksson, Michael Katz, Christian Muise, Florian Pommerening, Jendrik Seipp, Silvan Sievers, and David Speck.
Winner of the International Planning Competition 2023 Learning Track for the system GOFAI for Álvaro Torralba and Daniel Gnad at ICAPS 2023 in Prague.
Winner, Deterministic Optimal Track for the Ragnarok planner for Dominik Drexler, Daniel Gnad, Paul Höft, Jendrik Seipp, David Speck, and Simon Ståhlberg at the 10th International Planning Competition (IPC 2023) at ICAPS 2023.
Winner, Deterministic Satisficing Track for the Scorpion Maidu and Levitron planners for Augusto B. Corrêa, Guillem Francès, Markus Hecher, Davide Mario Longo, and Jendrik Seipp at the 10th International Planning Competition (IPC 2023) at ICAPS 2023.
Winner, Deterministic Agile Track for the DecStar-2023 planner for Daniel Gnad, Álvaro Torralba, and Alexander Shleyfman at the 10th International Planning Competition (IPC 2023) at ICAPS 2023.
Runner-Up, Deterministic Agile Track for the Fast Downward Stone Soup 2023 planner for Clemens Büchner, Remo Christen, Augusto Blaas Corrêa, Salomé Eriksson, Patrick Ferber, Jendrik Seipp, and Silvan Sievers at the 10th International Planning Competition (IPC 2023) at ICAPS 2023.
SoCS 2022 Best Paper Award for the paper Additive Pattern Databases for Decoupled Search for Silvan Sievers, Daniel Gnad, and Álvaro Torralba at the 15th Annual Symposium on Combinatorial Search (SoCS 2022).
4x First Place, 3x Second Place, 1x Third Place (in nine tracks) at the First CoRe Challenge for the system PARIS: Planning Algorithms for Reconfiguring Independent Sets for Remo Christen, Salomé Eriksson, Michael Katz, Emil Keyder, Christian Muise, Alice Petrov, Florian Pommerening, Jendrik Seipp, Silvan Sievers, and David Speck at the ICALP 2022 Workshop on Combinatorial Reconfiguration, Paris.
Second Place, System Demonstrations Track for the system Planutils: Bringing Planning to the Masses for Christian Muise, Florian Pommerening, Jendrik Seipp, and Michael Katz at the 32nd International Conference on Automated Planning and Scheduling (ICAPS 2022).
ICAPS 2022 Best Dissertation Award for the doctoral thesis Star-Topology Decoupled State-Space Search in AI Planning and Model Checking for Daniel Gnad at the 32nd International Conference on Automated Planning and Scheduling (ICAPS 2022).
ICAPS 2022 Best Paper Award for the paper Learning General Optimal Policies with Graph Neural Networks: Expressive Power, Transparency, and Limits for Simon Ståhlberg, Blai Bonet, and Hector Geffner at the 32nd International Conference on Automated Planning and Scheduling (ICAPS 2022).
IJCAI 2021 Distinguished Paper Award for the paper Learning Generalized Unsolvability Heuristics for Classical Planning for Simon Ståhlberg, Guillem Francès, and Jendrik Seipp at the 30th International Joint Conference on Artificial Intelligence (IJCAI 2021).