Neural Control Barrier Function Verification on Barrier 4
25.37Time (s)LBP-based CBF Verification
Evaluation Results
| Method | Links | ||||
|---|---|---|---|---|---|
| LBP-based CBF VerificationNetwork=[64, 64]2025.11 | 25.37 | 100 | 25,446 | — |
Loading the SOTA2 catalog…
| Method | Links | ||||
|---|---|---|---|---|---|
| LBP-based CBF VerificationNetwork=[64, 64]2025.11 | 25.37 | 100 | 25,446 | — |