Jul 22, 2025 | Our system demonstration “Graphical Navigation in Solution Spaces using PlanPilot” got accepted at ICAPS 2025. |
Jul 16, 2025 | Our paper “Interactive Exploration of Plan Spaces” got accepted at KR 2025. |
Jul 11, 2025 | Our paper “Combining Heuristics and Transition Classifiers in Classical Planning” got accepted at ECAI 2025. |
Jul 04, 2025 | Our paper “AxSAT - Bringing Axioms to SAT Planning” got accepted at JELIA 2025. |
May 01, 2025 | I joined Heidelberg University as a lecturer (Akademischer Rat). |