@misc{indiciaeee753f98aa0b,
  title = {Backup Control Barrier Function Synthesis using Sum-of-Squares Reachability},
  author = {Jungbae Chun and Shima Sadat Mousavi and David E. J. van Wijk and Ersin Daş and Aaron D. Ames and Felix Biertümpfel},
  year = {2026},
  url = {https://arxiv.org/abs/2608.27916},
  note = {Source identifier: 2608.27916}
}