Haoze Wu 0001, Teruhiro Tagomori, Alexander Robey, Fengjun Yang, Nikolai Matni, George J. Pappas, Hamed Hassani, Corina S. Pasareanu, Clark W. Barrett. Toward Certified Robustness Against Real-World Distribution Shifts. In 2023 IEEE Conference on Secure and Trustworthy Machine Learning, SaTML 2023, Raleigh, NC, USA, February 8-10, 2023. pages 537-553, IEEE, 2023. [doi]
Abstract is missing.