Home
News
Members
Research
Publications
Light
Dark
Automatic
Shucheng Kang
Latest
Verification and Synthesis of Robust Control Barrier Functions: Multilevel Polynomial Optimization and Semidefinite Relaxation
Cite
×