Robustness guarantees for deep neural networks on videos

Robustness guarantees for deep neural networks on videos

The widespread adoption of deep learning models places demands on their robustness. In this paper, we consider the robustness of deep neural networks on videos, which comprise both the spatial features of individual frames extracted by a convolutional neural network and the temporal dynamics between...

Volledige beschrijving

Bibliografische gegevens
Hoofdauteurs:	Kwiatkowska, M, Wu, M
Formaat:	Conference item
Taal:	English
Gepubliceerd in:	IEEE 2020

Gelijkaardige items

Global robustness evaluation of deep neural networks with provable guarantees for the Hamming distance
door: Ruan, W, et al.
Gepubliceerd in: (2019)

Statistical guarantees for the robustness of Bayesian neural networks
door: Cardelli, L, et al.
Gepubliceerd in: (2019)

Robustness evaluation of deep neural networks with provable guarantees
door: Wu, M
Gepubliceerd in: (2020)

Safety verification for deep neural networks with provable guarantees
door: Kwiatkowska, M
Gepubliceerd in: (2019)

Safety and robustness for deep learning with provable guarantees (keynote)
door: Kwiatkowska, M
Gepubliceerd in: (2019)

Robustness guarantees for Bayesian neural networks (invited extended abstract of a keynote speaker)
door: Kwiatkowska, M
Gepubliceerd in: (2022)

Adversarial Robustness Guarantees for Random Deep Neural Networks
door: De Palma, Giacomo, et al.
Gepubliceerd in: (2022)

Reachability analysis of deep neural networks with provable guarantees
door: Ruan, W, et al.
Gepubliceerd in: (2018)

Safety and robustness for deep learning with provable guarantees (invited paper - keynote)
door: Kwiatkowska, M
Gepubliceerd in: (2020)

A game-based approximate verification of deep neural networks with provable guarantees
door: Wu, M, et al.
Gepubliceerd in: (2019)

Individual fairness guarantees for neural networks
door: Benussi, E, et al.
Gepubliceerd in: (2022)

Adversarial robustness guarantees for Gaussian processes
door: Patane, A, et al.
Gepubliceerd in: (2022)

Reduced-order neural network synthesis with robustness guarantees
door: Drummond, R, et al.
Gepubliceerd in: (2022)

Robustness guarantees for Bayesian inference with Gaussian processes
door: Cardelli, L, et al.
Gepubliceerd in: (2019)

Provable guarantees on the robustness of decision rules to causal interventions
door: Wang, B, et al.
Gepubliceerd in: (2021)

Robustness guarantees for credal Bayesian networks via constraint relaxation over probabilistic circuits
door: Wijk, H, et al.
Gepubliceerd in: (2022)

Adversarial robustness guarantees for classification with Gaussian Processes
door: Blaas, A, et al.
Gepubliceerd in: (2020)

On guaranteed optimal robust explanations for NLP models
door: La Malfa, E, et al.
Gepubliceerd in: (2021)

Improving corruption robustness of deep neural network in video classification
door: Gong, Zeyu
Gepubliceerd in: (2023)

Training-free neural active learning with initialization robustness guarantees
door: Singh, Jasraj
Gepubliceerd in: (2023)

Adversarial robustness certification for Bayesian neural networks
door: Wicker, M, et al.
Gepubliceerd in: (2024)

Safety verification of deep neural networks
door: Huang, X, et al.
Gepubliceerd in: (2017)

Deep Convolutional Neural Network for Robust Detection of Object-Based Forgeries in Advanced Video
door: Ahmad A. Mazhar, et al.
Gepubliceerd in: (2024-01-01)

Probabilistic Guarantees in Robust Optimization
door: Bertsimas, Dimitris, et al.
Gepubliceerd in: (2022)

Enhancing adversarial robustness of deep neural networks
door: Zhang, Jeffrey,M. Eng.Massachusetts Institute of Technology.
Gepubliceerd in: (2019)

Concolic testing for deep neural networks
door: Sun, Y, et al.
Gepubliceerd in: (2018)

Theoretical guarantees for permutation-equivariant quantum neural networks
door: Louis Schatzki, et al.
Gepubliceerd in: (2024-01-01)

Understanding neural network sample complexity and interpretable convergence-guaranteed deep learning with polynomial regression
door: Emschwiller, Matt V.
Gepubliceerd in: (2020)

On Guaranteed Correction of Error Patterns with Artificial Neural Networks
door: S. Brkić, et al.
Gepubliceerd in: (2022-12-01)

Robustness of 3D deep learning in an adversarial setting
door: Wicker, M, et al.
Gepubliceerd in: (2020)

JAK/STAT guarantees robust neural stem cell differentiation by shutting off biological noise
door: Yoshitaro Tanaka, et al.
Gepubliceerd in: (2018-08-01)

Feature-guided black-box safety testing of deep neural networks
door: Wicker, M, et al.
Gepubliceerd in: (2018)

Video Prediction Using Multi-Scale Deep Neural Networks
door: N. Shayanfar, et al.
Gepubliceerd in: (2022-07-01)

Towards deep neural networks robust to adversarial examples
door: Matyasko, Alexander
Gepubliceerd in: (2020)

Neural Network Optimal Feedback Control With Guaranteed Local Stability
door: Tenavi Nakamura-Zimmerer, et al.
Gepubliceerd in: (2022-01-01)

Using Neural Networks to Price and Hedge Variable Annuity Guarantees
door: Daniel Doyle, et al.
Gepubliceerd in: (2018-12-01)

Towards Robust And Practical Neural Video-Conferencing
door: Sivaraman, Vibhaalakshmi
Gepubliceerd in: (2024)

Robust output feedback control with guaranteed constraint satisfaction
door: Sadraddini, Sadra, et al.
Gepubliceerd in: (2022)

Robust output feedback control with guaranteed constraint satisfaction
door: Sadraddini, Sadra, et al.
Gepubliceerd in: (2021)

Robust pose estimation which guarantees positive depths
door: Chun Li, et al.
Gepubliceerd in: (2023-12-01)