M. Althoff
J. Dolan
2014
Online Verification of Automated Road Vehicles using Reachability Analysis
IEEE Transactions on Robotics
30
903–918
10.1109/TRO.2014.2312453
O Bastani
Y. Ioannou
L. Lampropoulos
D. Vytiniotis
A. Nori
A. Criminisi
2016
Measuring Neural Net Robustness with Constraints
Proc. 30th Conf. on Neural Information Processing Systems (NIPS)
M. Bojarski
D. Del Testa
D. Dworakowski
B. Firner
B. Flepp
P. Goyal
L. Jackel
M. Monfort
U. Muller
J. Zhang
X. Zhang
J. Zhao
K. Zieba
2016
End to End Learning for Self-Driving Cars
Technical Report. http://arxiv.org/abs/1604.07316
N. Carlini
D. Wagner
2017
Towards Evaluating the Robustness of Neural Networks
Proc. 38th Symposium on Security and Privacy (SP)
10.1109/SP.2017.49
X. Glorot
A. Bordes
Y. Bengio
2011
Deep Sparse Rectifier Neural Networks
Proc. 14th Int. Conf. on Artificial Intelligence and Statistics (AISTATS)
315–323
I. Goodfellow
Y. Bengio
A. Courville
2016
Deep Learning
MIT Press
I. Goodfellow
J. Shlens
C. Szegedy
2014
Explaining and Harnessing Adversarial Examples
Technical Report. http://arxiv.org/abs/1412.6572
G. Hinton
L. Deng
D. Yu
G. Dahl
A. Mohamed
N. Jaitly
A. Senior
V. Vanhoucke
P. Nguyen
T. Sainath
B. Kingsbury
2012
Deep Neural Networks for Acoustic Modeling in Speech Recognition: The Shared Views of Four Research Groups
IEEE Signal Processing Magazine
29
6
82–97
10.1109/MSP.2012.2205597
X. Huang
M. Kwiatkowska
S. Wang
M. Wu
2016
Safety Verification of Deep Neural Networks
Technical Report. http://arxiv.org/abs/1610.06940
K. Jarrett
K. Kavukcuoglu
Y. LeCun
2009
What is the Best Multi-Stage Architecture for Object Recognition?
Proc. 12th IEEE Int. Conf. on Computer Vision (ICCV)
2146–2153
10.1109/ICCV.2009.5459469
J.-B. Jeannin
K Ghorbal
Y. Kouskoulas
R. Gardner
A. Schmidt
E. Zawadzki
A. Platzer
2015
A Formally Verified Hybrid System for the Next-Generation Airborne Collision Avoidance System
Proc. 21st Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)
21–36
10.1007/978-3-662-46681-0_2
K. Julian
J. Lopez
J. Brush
M. Owen
M. Kochenderfer
2016
Policy Compression for Aircraft Collision Avoidance Systems
Proc. 35th Digital Avionics Systems Conf. (DASC)
1–10
10.1109/DASC.2016.7778091
G. Katz
C. Barrett
D. Dill
K. Julian
M. Kochenderfer
2017
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks
Proc. 29th Int. Conf. on Computer Aided Verification (CAV)
97–117
10.1007/978-3-319-63387-9_5
A. Krizhevsky
I. Sutskever
G. Hinton
2012
Imagenet Classification with Deep Convolutional Neural Networks
Advances in Neural Information Processing Systems
1097–1105
A. Kurakin
I. Goodfellow
S. Bengio
2016
Adversarial Examples in the Physical World
Technical Report. http://arxiv.org/abs/1607.02533
A. Maas
A. Hannun
A. Ng
2013
Rectifier Nonlinearities improve Neural Network Acoustic Models
Proc. 30th Int. Conf. on Machine Learning (ICML)
V. Nair
G. Hinton
2010
Rectified Linear Units Improve Restricted Boltzmann Machines
Proc. 27th Int. Conf. on Machine Learning (ICML)
807–814
L. Pulina
A. Tacchella
2010
An Abstraction-Refinement Approach to Verification of Artificial Neural Networks
Proc. 22nd Int. Conf. on Computer Aided Verification (CAV)
243–257
10.1007/978-3-642-14295-6_24
L. Pulina
A. Tacchella
2012
Challenging SMT Solvers to Verify Neural Networks
AI Communications
25(2)
117–135
10.3233/AIC-2012-0525
D. Silver
A. Huang
C. Maddison
A. Guez
L. Sifre
G. Van Den Driessche
J. Schrittwieser
I. Antonoglou
V. Panneershelvam
M. Lanctot
S. Dieleman
2016
Mastering the Game of Go with Deep Neural Networks and Tree Search
Nature
529
7587
484–489
10.1038/nature16961
C. Szegedy
W. Zaremba
I. Sutskever
J. Bruna
D. Erhan
I. Goodfellow
R. Fergus
2013
Intriguing Properties of Neural Networks
Technical Report. http://arxiv.org/abs/1312.6199