Neural Control Barrier Function Verification on Barrier 2
1.66Time (s)LBP-based CBF Verification
Evaluation Results
| Method | Links | ||||
|---|---|---|---|---|---|
| LBP-based CBF VerificationNetwork=[64, 64]2025.11 | 1.66 | 100 | 1,432 | — | |
| drealNetwork=[64, 64]2025.11 | 635.36 | — | — | — |
Loading the SOTA2 catalog…