Model-Agnostic Reachability Analysis on Deep Neural Networks

Goldstein, A.: Optimization of lipschitz continuous functions. Mathematical Programming (1977)

1977

Earlier work this paper cites.

O’Searcoid, M.: Metric spaces. Springer Science & Business Media (2006)

2006

Earlier work this paper cites.

Pulina, L., Tacchella, A.: An abstraction-refinement approach to verification of artificial neural networks. In: Int Conference on Computer Aided Verification (2010)

2010

Earlier work this paper cites.

Szegedy, C., Zaremba, W., Sutskever, I., Bruna, J., Erhan, D., Goodfellow, I., Fergus, R.: Intriguing properties of neural networks. arXiv preprint arXiv:1312.6199 (2013)

Original

2013

Earlier work this paper cites.

Goodfellow, I.J., Shlens, J., Szegedy, C.: Explaining and harnessing adversarial examples. arXiv preprint arXiv:1412.6572 (2014)

Original

2014

Earlier work this paper cites.

Gergel, V., Grishagin, V., Gergel, A.: Adaptive nested optimization scheme for multidimensional global search. Journal of Global Optimization 66

2016

Earlier work this paper cites.

Goodfellow, I., Bengio, Y., Courville, A.: Deep Learning. MIT Press (2016)

2016

Earlier work this paper cites.

Papernot, N., McDaniel, P., Swami, A., Harang, R.: Crafting adversarial input sequences for recurrent neural networks. In: MILCOM 2016-2016 IEEE Military Communications Conference. pp. 49–54. IEEE (2016)

2016

Earlier work this paper cites.

Carlini, N., Wagner, D.: Towards evaluating the robustness of neural networks. In: 2017 ieee symposium on security and privacy (sp). pp. 39–57. Ieee (2017)

2017

Earlier work this paper cites.

Dutta, S., Jha, S., Sanakaranarayanan, S., Tiwari, A.: Output range analysis for deep neural networks. arXiv preprint arXiv:1709.09130 (2017)

Original

2017

Earlier work this paper cites.

Ehlers, R.: Formal verification of piece-wise linear feed-forward neural networks. In: Int symposium on automated technology for verification and analysis (2017)

2017

Earlier work this paper cites.

Gong, Y., Poellabauer, C.: Crafting adversarial examples for speech paralinguistics applications. arXiv preprint arXiv:1711.03280 (2017)

Original

2017

Earlier work this paper cites.

Huang, X., Kwiatkowska, M., Wang, S., Wu, M.: Safety verification of deep neural networks. In: International Conference on Computer Aided Verification (2017)

2017

Cited alongside, same era.

Katz, G., Barrett, C., et al.: Reluplex: An efficient smt solver for verifying deep neural networks. In: international conference on computer aided verification (2017)

2017

Cited alongside, same era.

Akintunde, M., Lomuscio, A., Maganti, L., Pirovano, E.: Reachability analysis for neural agent-environment systems. In: KR. pp. 184–193 (2018)

2018

Cited alongside, same era.

Carlini, N., Wagner, D.: Audio adversarial examples: Targeted attacks on speech-to-text. In: 2018 IEEE Security and Privacy Workshops (SPW) (2018)

2018

Cited alongside, same era.

Gehr, T., Mirman, M., Drachsler-Cohen, D., Tsankov, P., Chaudhuri, S., Vechev, M.: Ai2: Safety and robustness certification of neural networks with abstract interpretation. In: 2018 IEEE symposium on security and privacy (SP). pp. 3–18. IEEE (2018)

Ko, C.Y., Lyu, Z., Weng, T.W., et al.: Popqorn: Quantifying robustness of recurrent neural networks. arXiv preprint arXiv:1905.07387 (2019)

Original

2019

Later among the works it cites.

Huang, X., Kroening, D., Ruan, W., et al.: A survey of safety and trustworthiness of deep neural networks: Verification, testing, adversarial attack and defence, and interpretability. Computer Science Review 37

2020

Later among the works it cites.

Jacoby, Y., Barrett, C., Katz, G.: Verifying recurrent neural networks using invariant inference. arXiv preprint arXiv:2004.02462 (2020)

Original

2020

Later among the works it cites.

Vengertsev, D., Sherman, E.: Recurrent neural network properties and their verification with monte carlo techniques. In: SafeAI@AAAI (2020)

2020

Later among the works it cites.