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