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

Shucheng Kang, Yuxiao Chen, Heng Yang, Marco Pavone

科研成果: 图书/报告稿件的类型 › 会议稿件

3 引用 （Scopus）

指纹

探究 'Verification and Synthesis of Robust Control Barrier Functions: Multilevel Polynomial Optimization and Semidefinite Relaxation' 的科研主题。它们共同构成独一无二的指纹。

Keyphrases

Mathematics

Computer Science

Engineering