Verification-Aided Learning of Neural Network Barrier Functions with Termination Guarantees

Shaoru Chen, Lekan Molu, Mahyar Fazlyab

Barrier functions are a general framework for establishing a safety guarantee for a system. However, there is no general method for finding these functions. To address this shortco…