Neural Barrier Certificates for Monotone Systems. - Amirreza Alavi; Alireza Nadali; Majid Zamani 001; Saber Jafarpour (IEEE Control. Syst. Lett., 2025)