1 citations · 1 across the 2 of their papers we have counts for
2 papers
eess.SY2026
Trajectory-based Safety of Monotone Systems: Verification and Control Synthesis
Felipe Galarza-Jimenez, Majid Zamani, Saber Jafarpour
This paper presents a novel data-driven framework for the robust safety verification and safe control synthesis of unknown monotone discrete-time systems. While existing data-drive…
cs.LG2026★ 1 cited
Robustness Certificates for Neural Networks Against Data Poisoning and Evasion Attacks
Sara Taheri, Mahalakshmi Sabanayagam, Debarghya Ghoshdastidar +1
The increasing use of machine learning in safety-critical domains amplifies the risk of adversarial threats, especially data poisoning attacks that corrupt training data to degrade…