Formal Verification of Neural Certificates Done Dynamically.

Thomas A. Henzinger, Konstantin Kueffner, Emily Yu

Browse the full RV paper archive.