Towards Proving the Adversarial Robustness of Deep Neural Networks
Autonomous vehicles are highly complex systems, required to function reliably in a wide variety of situations. Manually crafting software controllers for these vehicles is difficult, but there has been some success in using deep neural networks generated using machine-learning. However, deep neural...
Main Authors: | Guy Katz, Clark Barrett, David L. Dill, Kyle Julian, Mykel J. Kochenderfer |
---|---|
Format: | Article |
Language: | English |
Published: |
Open Publishing Association
2017-09-01
|
Series: | Electronic Proceedings in Theoretical Computer Science |
Online Access: | http://arxiv.org/pdf/1709.02802v1 |
Similar Items
-
Enhancing adversarial robustness of deep neural networks
by: Zhang, Jeffrey,M. Eng.Massachusetts Institute of Technology.
Published: (2019) -
Adversarial Robustness Guarantees for Random Deep Neural Networks
by: De Palma, Giacomo, et al.
Published: (2022) -
Understanding the Energy vs. Adversarial Robustness Trade-Off in Deep Neural Networks
by: Lee, Kyungmi, et al.
Published: (2022) -
Diversity Adversarial Training against Adversarial Attack on Deep Neural Networks
by: Hyun Kwon, et al.
Published: (2021-03-01) -
Toward robust deep neural networks
by: Abbasi, Mahdieh
Published: (2020)