Provable Defense against Backdoor Policies in Reinforcement Learning - Bharti, Shubham; Zhang, Xuezhou; Singla, Adish; Zhu, Jerry (Advances in Neural Information Processing Systems, 2022)