Toward Certified Robustness Against Real-World Distribution Shifts.

Haoze Wu Teruhiro Tagomori Alexander Robey Fengjun Yang Nikolai Matni George J. Pappas Hamed Hassani Corina S. Pasareanu Clark W. Barrett

Published in: CoRR (2022)