ShaoruChen/Neural-Barrier-Function
Verification-aided learning of NN barrier functions with a convex optimization-based fine-tuning step can boost success rate.
Python
No issues in this repository yet.
Verification-aided learning of NN barrier functions with a convex optimization-based fine-tuning step can boost success rate.
Python
No issues in this repository yet.