1 paper · 1 filter
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…