TY - RPRT TI - Unified Overview of Safety Certificate Functions: Techniques from Hamilton--Jacobi Reachability and Control Barrier Functions AU - Hao Wang AU - Max Cohen AU - Zeyuan Feng AU - Donggeon David Oh AU - Oswin So AU - Songyuan Zhang AU - Javier Borquez AU - Chuchu Fan AU - Jaime Fernández Fisac AU - Haimin Hu AU - Jason J. Choi AU - Somil Bansal PY - 2026 UR - https://arxiv.org/abs/2611.07537 ID - 2611.07537 ER -