Fetching the paper…
Reading the bibliography…
Due to the increasing deployment of Deep Neural Networks (DNNs) in real-world security-critical domains including autonomous vehicles and collision avoidance systems, formally checking security properties of DNNs, especially under different attacker capabilities, is becoming crucial.
Interval arithmetic and automatic error analysis in digital computing
R. E. Moore · 1962
Earlier work this paper cites.
Methods And Applications Of Interval Analysis
R. E. Moore · 1979
Earlier work this paper cites.
Algorithm 681: Intbis, a portable interval newton/bisection package
R. B. Kearfott and M. Novoa III · 1990
Earlier work this paper cites.
What every computer scientist should know about floating-point arithmetic
D. Goldberg · 1991
Earlier work this paper cites.
Guaranteed nonlinear parameter estimation from bounded-error data via interval analysis
L. Jaulin and E. Walter · 1993
Earlier work this paper cites.
Global optimization of nonconvex nonlinear programs via interval analysis
R. Vaidyanathan and M. El-Halwagi · 1994
Earlier work this paper cites.
The SLAM project: debugging system software via static analysis
T. Ball and S. K. Rajamani · 2002
Earlier work this paper cites.
Lazy abstraction
T. A. Henzinger, R. Jhala, R. Majumdar, and G. Sutre · 2002
Earlier work this paper cites.
Interval analysis and fuzzy set theory
R. Moore and W. Lodwick · 2003
Earlier work this paper cites.
Affine arithmetic: concepts and applications
L. H. De Figueiredo and J. Stolfi · 2004
Earlier work this paper cites.
Introduction to Interval Analysis
M. J. C. Ramon E. Moore, R. Baker Kearfott · 2009
Earlier work this paper cites.
Rectified linear units improve restricted boltzmann machines
V. Nair and G. E. Hinton · 2010
Earlier work this paper cites.
Deep neural networks for acoustic modeling in speech recognition: The shared views of four research groups
G. Hinton, L. Deng, D. Yu, G. E. Dahl, A.-r. Mohamed, N. Jaitly, A. Senior, V. Vanhoucke, P. Nguyen, T. N. Sainath, et al · 2012
Earlier work this paper cites.
Next-generation airborne collision avoidance system
M. J. Kochenderfer, J. E. Holland, and J. P. Chryssanthacopoulos · 2012
Earlier work this paper cites.
Imagenet classification with deep convolutional neural networks
A. Krizhevsky, I. Sutskever, and G. E. Hinton · 2012
Earlier work this paper cites.
Rigorous global search: continuous problems
R. B. Kearfott · 2013
Earlier work this paper cites.
Intriguing properties of neural networks
C. Szegedy, W. Zaremba, I. Sutskever, J. Bruna, D. Erhan, I. Goodfellow, and R. Fergus · 2014
Cited alongside, same era.
Explaining and harnessing adversarial examples
I. Goodfellow, J. Shlens, and C. Szegedy · 2015
Cited alongside, same era.
Scalable parallel numerical constraint solver using global load balancing
D. Ishii, K. Yoshizoe, and T. Suzumura · 2015
Cited alongside, same era.
ACAS-Xu initial self-separation flight tests
M. Marston and G. Baca · 2015
Cited alongside, same era.
Deep neural networks are easily fooled: High confidence predictions for unrecognizable images
A. Nguyen, J. Yosinski, and J. Clune · 2015
Cited alongside, same era.
Airborne Collision Avoidance System X
M. T. Notes · 2015
Cited alongside, same era.
A rotation and a translation suffice: Fooling cnns with simple transformations
L. Engstrom, D. Tsipras, L. Schmidt, and A. Madry · 2017
Later among the works it cites.
Densely connected convolutional networks
G. Huang, Z. Liu, K. Q. Weinberger, and L. van der Maaten · 2017
Later among the works it cites.
Safety verification of deep neural networks
X. Huang, M. Kwiatkowska, S. Wang, and M. Wu · 2017
Later among the works it cites.
Reluplex: An efficient smt solver for verifying deep neural networks
G. Katz, C. Barrett, D. L. Dill, K. Julian, and M. J. Kochenderfer · 2017
Later among the works it cites.
Provable defenses against adversarial examples via the convex outer adversarial polytope
J. Z. Kolter and E. Wong · 2017
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Deep residual learning for image recognition
K. He, X. Zhang, S. Ren, and J. Sun · 2016
Cited alongside, same era.
Policy compression for aircraft collision avoidance systems
K. D. Julian, J. Lopez, J. S. Brush, M. P. Owen, and M. J. Kochenderfer · 2016
Cited alongside, same era.
Delving into transferable adversarial examples and black-box attacks
Y. Liu, X. Chen, C. Liu, and D. Song · 2016
Cited alongside, same era.
Deepfool: a simple and accurate method to fool deep neural networks
S.-M. Moosavi-Dezfooli, A. Fawzi, and P. Frossard · 2016
Cited alongside, same era.
Rethinking the inception architecture for computer vision
C. Szegedy, V. Vanhoucke, S. Ioffe, J. Shlens, and Z. Wojna · 2016
Cited alongside, same era.
Automatically evading classifiers
W. Xu, Y. Qi, and D. Evans · 2016
Cited alongside, same era.
A. Kurakin, I. J. Goodfellow, and S. Bengio · 2017
Later among the works it cites.
Practical black-box attacks against machine learning
N. Papernot, P. McDaniel, I. Goodfellow, S. Jha, Z. B. Celik, and A. Swami · 2017
Later among the works it cites.
Deepxplore: Automated whitebox testing of deep learning systems
K. Pei, Y. Cao, J. Yang, and S. Jana · 2017
Later among the works it cites.
Towards practical verification of machine learning: The case of computer vision systems
K. Pei, Y. Cao, J. Yang, and S. Jana · 2017
Later among the works it cites.
Mastering the game of go without human knowledge
D. Silver, J. Schrittwieser, K. Simonyan, I. Antonoglou, A. Huang, A. Guez, T. Hubert, L. Baker, M. Lai, A. Bolton, et al · 2017
Later among the works it cites.
Learning and verification of feedback control systems using feedforward neural networks
S. Dutta, S. Jha, S. Sankaranarayanan, and A. Tiwari · 2018
Closest in time.
Output range analysis for deep feedforward neural networks
S. Dutta, S. Jha, S. Sankaranarayanan, and A. Tiwari · 2018
Closest in time.
A dual approach to scalable verification of deep networks
K. Dvijotham, R. Stanforth, S. Gowal, T. Mann, and P. Kohli · 2018
Closest in time.
AI2: Safety and robustness certification of neural networks with abstract interpretation
T. Gehr, M. Mirman, D. Drachsler-Cohen, P. Tsankov, S. Chaudhuri, and M. Vechev · 2018
Closest in time.
Certified defenses against adversarial examples
A. Raghunathan, J. Steinhardt, and P. Liang · 2018
Closest in time.
DeepTest: Automated testing of deep-neural-network-driven autonomous cars
Y. Tian, K. Pei, S. Jana, and B. Ray · 2018
Closest in time.