Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Neural Control Barrier Function Verification on 2D-Control
Loading...
5.86
Time (s)
LBP-based CBF Verification
5.567
5.7135
5.86
6.0065
Nov 9, 2025
Time (s)
Certification Rate (%)
Number of Analyzed Regions
Verification Result
Updated 4d ago
Evaluation Results
Method
Method
Links
Time (s)
Certification Rate (%)
Number of Analyzed Regions
Verification Result
LBP-based CBF Verification
Network=[64, 64, 8]
2025.11
5.86
100
4,608
-
Feedback
Search any
task
Search any
task