Preprint Open access
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 …