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…