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