Exact Verification of ReLU Neural Control Barrier Functions

Open in new window