2023 Robustcbf

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