Verification and Synthesis of Robust Control Barrier Functions: Multilevel Polynomial Optimization and Semidefinite Relaxation - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Shucheng Kang, Yuxiao Chen 0008, Heng Yang, Marco Pavone 0001. Verification and Synthesis of Robust Control Barrier Functions: Multilevel Polynomial Optimization and Semidefinite Relaxation. In 62nd IEEE Conference on Decision and Control, CDC 2023, Singapore, December 13-15, 2023. pages 8215-8222, IEEE, 2023. [doi]

This author has not been identified. Look up 'Shucheng Kang' in GoogleThis author has not been identified. Look up 'Yuxiao Chen 0008' in GoogleThis author has not been identified. Look up 'Heng Yang' in GoogleThis author has not been identified. Look up 'Marco Pavone 0001' in Google

runs on WebDSL