1 citations · 1 across the 1 of their papers we have counts for
Showing cs.LGShow all
2 papers · 1 filter
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…