Publications

publication venues

Filter by author:  all   ■   Daniel Höller   ■   Marcel Schubert   ■   Jonas Kück   ■   Magnus Cunow
Filter by topic:  all   ■   model   ■   solve   ■   trust   ■   other topics

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)