Publications

Publication: ConferencePaper (Artikel, die in Tagungsbänden erschienen sind)

ID	Author	Year	Title	Publisher
4696784	Mugdan, Esther; Christen, Remo; Eriksson, Salomé	2023	Optimality Certificates for Classical Planning	Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling (ICAPS 2023)
4697461	Büchner, Clemens; Keller, Thomas; Eriksson, Salomé; Helmert, Malte	2023	Landmark Progression in Heuristic Search	Proceedings of the 33rd International Conference on Automated Planning and Scheduling (ICAPS 2023)
4642615	Christen, Remo; Eriksson, Salomé; Pommerening, Florian; Helmert, Malte	2022	Detecting Unsolvability Based on Separating Functions	Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling (ICAPS 2022)
4604561	Eriksson, Salomé; Helmert, Malte	2020	Certified Unsolvability for SAT Planning with Property Directed Reachability	Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling (ICAPS 2020)
4481796	Eriksson, Salomé; Röger, Gabriele; Helmert, Malte	2018	Inductive Certificates of Unsolvability for Domain-Independent Planning	Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence
4480861	Eriksson, Salomé; Röger, Gabriele; Helmert, Malte	2018	A Proof System for Unsolvable Planning Tasks	Proceedings of the 28th International Conference on Automated Planning and Scheduling (ICAPS 2018)
3767786	Eriksson, Salomé; Röger, Gabriele; Helmert, Malte	2017	Unsolvability Certificates for Classical Planning	Proceedings of the 27th International Conference on Automated Planning and Scheduling (ICAPS 2017)
3249098	Simon, Salomé; Röger, Gabriele	2015	Finding and Exploiting LTL Trajectory Constraints in Heuristic Search	Proceedings of the 8th Annual Symposium on Combinatorial Search (SoCS 2015)

Publication: Thesis (Dissertationen, Habilitationen)

ID	Author	Year	Title	Publisher
4525793	Eriksson, Salomé	2019	Certifying planning systems: Witnesses for unsolvability	University of Basel

Publication: Other Publications (Forschungsberichte o. ä.)

ID	Author	Year	Title	Publisher
4697840	Büchner, Clemens; Christen, Remo; Corrêa, Augusto B.; Eriksson, Salomé; Ferber, Patrick; Seipp, Jendrik; Sievers, Silvan	2023	Fast Downward Stone Soup 2023
4697839	Büchner, Clemens; Christen, Remo; Eriksson, Salomé; Keller, Thomas	2023	DALAI - Disjunctive Action Landmarks All In
4653023	Christen, Remo; Eriksson, Salomé; Katz, Michael; Keyder, Emil; Muise, Christian; Petrov, Alice; Pommerening, Florian; Seipp, Jendrik; Sievers, Silvan; Speck, David	2022	(PARIS) Planning Algorithms for Reconfiguring Independent Sets