Formal Safety Verification for Nonlinear Systems with Generative Barrier Certificate

Mengxin Ren, Hanrui Zhao

Safety verification is a fundamental problem in control theory. Barrier certificates (BCs) provide a powerful formal mechanism, yet deriving BCs is computationally intensive. This…