@inproceedings{SchubertRIPL26,
   title = {Safety Verification of Additive Tree Ensemble Policies via Symbolic Search},
   author = {Marcel Schubert and Daniel H{\"{o}}ller},
   booktitle = {Proceedings of the ICAPS Workshop on Reliability In Planning and Learning (RIPL)},
   year = {2026}
}