Efficient Verification and Falsification of ReLU Neural Barrier Certificates.

Dejin Ren, Yiling Xue, Taoran Wu, Bai Xue

Browse the full AAAI paper archive.