AI RESEARCH
Set-Based Training of Neural Barrier Certificates for Safety Verification of Dynamical Systems
arXiv CS.AI
•
ArXi:2605.02526v1 Announce Type: cross 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 the safety of the dynamical system. Recent approaches synthesize barrier certificates by iteratively