Anfonwch hwn fel neges destun: Robustness guarantees for deep neural networks on videos