Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Neural Control Barrier Function Verification on Darboux
Loading...
144.68
Time (s)
LBP-based CBF Verification
137.446
141.063
144.68
148.297
Nov 9, 2025
Time (s)
Certification Rate (%)
Number of Regions Analyzed
Verification Result Status
Updated 4d ago
Evaluation Results
Method
Method
Links
Time (s)
Certification Rate (%)
Number of Regions Analyzed
Verification Result Status
LBP-based CBF Verification
Network=[128, 256, 128]
2025.11
144.68
100
9,142
-
Feedback
Search any
task
Search any
task
