Set-Based Training of Neural Barrier Certificates for Safety Verification of Dynamical Systems
arXiv:2605.02526v1 Announce Type: cross
Abstract: Barrier certificates are scalar functions over the state space of dynamical systems that separate all unsafe states from all reachable states. The existence of a barrier certificate formally verifies t…