Seol mar théacs é seo: Robustness guarantees for deep neural networks on videos