Neural Barrier Certificates for Stochastic Control Systems. - Sara Taheri; Majid Zamani 001 (CDC, 2025)

Robustness Certificates for Neural Networks against Adversarial Attacks. - Sara Taheri; Mahalakshmi Sabanayagam; Debarghya Ghoshdastidar; Majid Zamani 001 (CoRR, 2025)