Tightened Convex Relaxations for Neural Network Robustness Certification

R. A. Fisher, “The use of multiple measurements in taxonomic problems,” Annals of eugenics , vol. 7, no. 2, pp. 179–188, 1936

1936

Earlier work this paper cites.

N. Karmarkar, “A new polynomial-time algorithm for linear programming,” in Proceedings of the sixteenth annual ACM symposium on Theory of computing , 1984, pp. 302–311

1984

Earlier work this paper cites.

M. A. Duran and I. E. Grossmann, “An outer-approximation algorithm for a class of mixed-integer nonlinear programs,” Mathematical programming , vol. 36, no. 3, pp. 307–339, 1986

1986

Earlier work this paper cites.

O. L. Mangasarian and T.-H. Shiau, “Lipschitz continuity of solutions of linear inequalities, programs and complementarity problems,” SIAM Journal on Control and Optimization , vol. 25, no. 3, pp. 583–595, 1987

1987

Earlier work this paper cites.

S. N. Kumpati, P. Kannan et al. , “Identification and control of dynamical systems using neural networks,” IEEE Transactions on neural networks , vol. 1, no. 1, pp. 4–27, 1990

1990

Earlier work this paper cites.

D. H. Nguyen and B. Widrow, “Neural networks for self-learning control systems,” IEEE Control systems magazine , vol. 10, no. 3, pp. 18–23, 1990

1990

Earlier work this paper cites.

F. Lewis, S. Jagannathan, and A. Yesildirak, Neural network control of robot manipulators and non-linear systems . CRC Press, 1998

1998

Earlier work this paper cites.

E. N. Johnson and A. J. Calise, “Neural network adaptive control of systems with input saturation,” in Proceedings of the 2001 American Control Conference.(Cat. No. 01CH37148) , vol. 5. IEEE, 2001, pp. 3527–3532

2001

Earlier work this paper cites.

A. Ben-Tal, L. El Ghaoui, and A. Nemirovski, Robust optimization . Princeton University Press, 2009, vol. 28

2009

Earlier work this paper cites.

D. Bertsimas, D. B. Brown, and C. Caramanis, “Theory and applications of robust optimization,” SIAM review , vol. 53, no. 3, pp. 464–501, 2011

2011

Earlier work this paper cites.

G. P. Liu, Nonlinear identification and control: a neural network approach . Springer Science & Business Media, 2012

2012

Cited alongside, same era.

G. F. Montufar, R. Pascanu, K. Cho, and Y. Bengio, “On the number of linear regions of deep neural networks,” in Advances in neural information processing systems , 2014, pp. 2924–2932

2014

Cited alongside, same era.

S. Bansal, A. K. Akametalu, F. J. Jiang, F. Laine, and C. J. Tomlin, “Learning quadrotor dynamics using neural network for flight control,” in 2016 IEEE 55th Conference on Decision and Control (CDC) . IEEE, 2016, pp. 4653–4660

2016

Cited alongside, same era.

M. Bojarski, D. Del Testa, D. Dworakowski, B. Firner, B. Flepp, P. Goyal, L. D. Jackel, M. Monfort, U. Muller, J. Zhang et al. , “End to end learning for self-driving cars,” arXiv preprint arXiv:1604.07316 , 2016

Original

2016

Cited alongside, same era.

A. Raghunathan, J. Steinhardt, and P. S. Liang, “Semidefinite relaxations for certifying robustness to adversarial examples,” in Advances in Neural Information Processing Systems , 2018, pp. 10 877–10 887

2018

Later among the works it cites.

W. Xiang and T. T. Johnson, “Reachability analysis and safety verification for neural network control systems,” arXiv preprint arXiv:1805.09944 , 2018

Original

2018

Later among the works it cites.

T.-W. Weng, H. Zhang, H. Chen, Z. Song, C.-J. Hsieh, D. Boning, I. S. Dhillon, and L. Daniel, “Towards fast computation of certified robustness for relu networks,” arXiv preprint arXiv:1804.09699 , 2018

Original

2018

Later among the works it cites.

H. Zhang, T.-W. Weng, P.-Y. Chen, C.-J. Hsieh, and L. Daniel, “Efficient neural network robustness certification with general activation functions,” in Advances in neural information processing systems , 2018, pp. 4939–4948

2018

Later among the works it cites.