Neural Control Barrier Function Verification on Darboux
144.68Time (s)LBP-based CBF Verification
Evaluation Results
| Method | Links | ||||
|---|---|---|---|---|---|
| LBP-based CBF VerificationNetwork=[128, 256, 128]2025.11 | 144.68 | 100 | 9,142 | — |
Loading the SOTA2 catalog…
| Method | Links | ||||
|---|---|---|---|---|---|
| LBP-based CBF VerificationNetwork=[128, 256, 128]2025.11 | 144.68 | 100 | 9,142 | — |