Training with Hard Constraints: Learning Neural Certificates and Controllers for SDEs

Chun-Wei Kong, Sebastian Escobar, Ibon Gracia +2

Due to their expressive power, neural networks (NNs) are promising templates for functional optimization problems, particularly for reach-avoid certificate generation for systems g…