1 citations · 1 across the 2 of their papers we have counts for
4 papers
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…
Data-Driven Compositional Safety Verification of Interconnected Monotone Systems
Amirreza Alavi, Majid Zamani, Saber Jafarpour
This paper introduces a sample-efficient compositional method for formal safety verification of interconnected monotone systems without requiring explicit models of the local subsy…
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…
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…