University of Illinois at Urbana-Champaign; Washington University in St. Louis; Carnegie Mellon University
Fan Wu, Linyi Li, Zijian Huang, Yevgeniy Vorobeychik, DING ZHAO, Bo Li
CROP: Certifying Robust Policies for Reinforcement Learning through Functional Smoothing