FoSeRL: Formal Sequential Robustness Certification for Reinforcement Learning Policies
Even a few action perturbations can substantially degrade the performance of a deployed decision policy. Certifying the resulting return loss is challenging in stochastic environments, where returns vary even without an attack. We introduce FoSeRL, a framework for certifying deployed RL policies against precommitted, t...
Sara Taheri, D. Ganguly, Jan Křetinský et al.
· 0 citations