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