Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Neural Control Barrier Function Verification on Barrier 3
Loading...
5.83
Time (s)
LBP-based CBF Verification
-66.75
423.165
913.08
1,402.995
Nov 9, 2025
Time (s)
Certification Rate
Number of Regions
Verification Status
Updated 4d ago
Evaluation Results
Method
Method
Links
Time (s)
Certification Rate
Number of Regions
Verification Status
LBP-based CBF Verification
Network=[64, 64]
2025.11
5.83
100
3,554
-
dreal
Network=[64, 64]
2025.11
1,820.33
-
-
-
Feedback
Search any
task
Search any
task