Marcel Schubert

Since February 2026, I have been a PhD student in the Neuro-Symbolic Planning Group, supervised by Daniel Höller. I am working on techniques to verify ML-based action policies using symbolic decision diagrams. Before that, I did my M.Sc. in Computer Science at Saarland University.

Publications

2026

■

[2]

Marcel Schubert and Daniel Höller: Safety Verification of Additive Tree Ensemble Policies via Symbolic Search. Proceedings of the ICAPS Workshop on Reliability In Planning and Learning (RIPL), 2026 (PDF, BibTeX)

2024

■

[1]

Marcel Schubert, Julia Wichlacz, and Daniel Höller: Reasonable Landmark Orderings for Lifted Classical Planning. Proceedings of the ICAPS workshop on Heuristics and Search for Domain-Independent Planning (HSDIP), 2024 (PDF, BibTeX)