Certifiably Robust Reinforcement Learning through Model-Based Abstract Interpretation

Chenxi Yang, Greg Anderson, Swarat Chaudhuri

We present a reinforcement learning (RL) framework in which the learned policy comes with a machine-checkable certificate of provable adversarial robustness. Our approach, called C…