TY  - RPRT
TI  - Backup Control Barrier Function Synthesis using Sum-of-Squares Reachability
AU  - Jungbae Chun
AU  - Shima Sadat Mousavi
AU  - David E. J. van Wijk
AU  - Ersin Daş
AU  - Aaron D. Ames
AU  - Felix Biertümpfel
PY  - 2026
UR  - https://arxiv.org/abs/2608.27916
ID  - 2608.27916
ER  -