TY  - RPRT
TI  - Monotone Neural Barrier Certificates
AU  - Saber Jafarpour
AU  - Alireza Nadali
AU  - Ashutosh Trivedi
AU  - Majid Zamani
PY  - 2026
UR  - https://arxiv.org/abs/2508.12178
ID  - 2508.12178
ER  -