1 citations · 1 across the 1 of their papers we have counts for
2 papers
cs.LG2026
FoSeRL: Formal Sequential Robustness Certification for Reinforcement Learning Policies
Sara Taheri, Deep Kumar Ganguly, Jan Křetínský +1
Even a few action perturbations can substantially degrade the performance of a deployed decision policy. Certifying the resulting return loss is challenging in stochastic environme…
cs.LG2025★ 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…