news

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).