Safe-by-Design Learning via Energy-based Neural Networks

Simone Betteti, Morteza Lahijanian, Luca Laurenti

Learning neural-network models of dynamical systems with safety guarantees is a fundamental requirement for their deployment in safety-critical settings. Safety is commonly establi…