@misc{indiciaeeeb39175c52c,
  title = {Trace Repair for Temporal Behavior Trees},
  author = {Sebastian Schirmer and Philipp Schitz and Johann C. Dauer and Bernd Finkbeiner and Sriram Sankaranarayanan},
  year = {2025},
  doi = {10.1007/978-3-032-22752-2\_34},
  url = {https://arxiv.org/abs/2509.08610},
  note = {Source identifier: 2509.08610}
}