Formal Verification of Neural Certificates Done Dynamically

Thomas A. Henzinger, Konstantin Kueffner, Emily Yu

Neural certificates have emerged as a powerful tool in cyber-physical systems control, providing witnesses of correctness. These certificates, such as barrier functions, often lear…