この資料をSMS送信: Robustness guarantees for deep neural networks on videos