TY  - RPRT
TI  - Verification and Synthesis of Robust Control Barrier Functions: Multilevel Polynomial Optimization and Semidefinite Relaxation
AU  - Shucheng Kang
AU  - Yuxiao Chen
AU  - Heng Yang
AU  - Marco Pavone
PY  - 2023
UR  - https://arxiv.org/abs/2303.10081
ID  - 2303.10081
ER  -