TY  - RPRT
TI  - Trace Repair for Temporal Behavior Trees
AU  - Sebastian Schirmer
AU  - Philipp Schitz
AU  - Johann C. Dauer
AU  - Bernd Finkbeiner
AU  - Sriram Sankaranarayanan
PY  - 2025
DO  - 10.1007/978-3-032-22752-2_34
UR  - https://arxiv.org/abs/2509.08610
ID  - 2509.08610
ER  -