Neural Control Barrier Function Verification on Cart-Pole
2,146.84Time (s)LBP-based CBF Verification
Evaluation Results
| Method | Links | ||||
|---|---|---|---|---|---|
| LBP-based CBF VerificationNetwork=[64, 64]2025.11 | 2,146.84 | 100 | 3,026,098 | — |
Loading the SOTA2 catalog…
| Method | Links | ||||
|---|---|---|---|---|---|
| LBP-based CBF VerificationNetwork=[64, 64]2025.11 | 2,146.84 | 100 | 3,026,098 | — |