Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Neural Control Barrier Function Verification on Barrier 2
Loading...
1.66
Time (s)
LBP-based CBF Verification
-23.688
147.411
318.51
489.609
Nov 9, 2025
Time (s)
Certification Rate (%)
Number of Regions
Verification Result Status
Updated 4d ago
Evaluation Results
Method
Method
Links
Time (s)
Certification Rate (%)
Number of Regions
Verification Result Status
LBP-based CBF Verification
Network=[64, 64]
2025.11
1.66
100
1,432
-
dreal
Network=[64, 64]
2025.11
635.36
-
-
-
Feedback
Search any
task
Search any
task