Fetching the paper…

Fast Verification of Control Barrier Functions via Linear Programming · Around