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