TY  - RPRT
TI  - Efficient Verification and Falsification of ReLU Neural Barrier Certificates
AU  - Dejin Ren
AU  - Yiling Xue
AU  - Taoran Wu
AU  - Bai Xue
PY  - 2025
UR  - https://arxiv.org/abs/2511.10015
ID  - 2511.10015
ER  -