Follow
A Semi-Algebraic Framework for Verification and Synthesis of Control Barrier Functions. (arXiv:2209.00081v1 [eess.SY]) http://arxiv.org/abs/2209.00081
A Semi-Algebraic Framework for Verification and Synthesis of Control Barrier Functions. (arXiv:2209.00081v1 [eess.SY]) http://arxiv.org/abs/2209.00081