2023 Robustcbf
New preprint on verification and synthesis of robust control barrier functions: you do not need iterative sum of squares
New preprint on verification and synthesis of robust control barrier functions: you do not need iterative sum of squares