@INPROCEEDINGS{WK20,  
author={W, Min and Kwiatkowska, Marta},  
booktitle={IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR)},   title={Robustness Guarantees for Deep Neural Networks on Videos},   
year={2020}, 
pages={308-317},
doi={doi = {10.1109/CVPR42600.2020.00039}
}