@misc{indiciae3264ac9d9936, title = {Unified Overview of Safety Certificate Functions: Techniques from Hamilton--Jacobi Reachability and Control Barrier Functions}, author = {Hao Wang and Max Cohen and Zeyuan Feng and Donggeon David Oh and Oswin So and Songyuan Zhang and Javier Borquez and Chuchu Fan and Jaime Fernández Fisac and Haimin Hu and Jason J. Choi and Somil Bansal}, year = {2026}, url = {https://arxiv.org/abs/2611.07537}, note = {Source identifier: 2611.07537} }