Verification and Synthesis of Robust Control Barrier Functions: Multilevel Polynomial Optimization and Semidefinite Relaxation

Shucheng Kang, Yuxiao Chen, Heng Yang, Marco Pavone

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Citations (Scopus)

Fingerprint

Dive into the research topics of 'Verification and Synthesis of Robust Control Barrier Functions: Multilevel Polynomial Optimization and Semidefinite Relaxation'. Together they form a unique fingerprint.

Keyphrases

Mathematics

Computer Science

Engineering