The Marabou Framework for Verification and Analysis of Deep Neural Networks-Reference-Cited by-同舟云学术

The Marabou Framework for Verification and Analysis of Deep Neural Networks

Published:2019 Issue: Volume: Page:443-452
ISSN:0302-9743
Container-title:Computer Aided Verification
language:
Short-container-title:

Author:

Katz Guy,Huang Derek A.,Ibeling Duligur,Julian Kyle,Lazarus Christopher,Lim Rachel,Shah Parth,Thakoor Shantanu,Wu Haoze,Zeljić Aleksandar,Dill David L.,Kochenderfer Mykel J.,Barrett Clark

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-030-25540-4_26

Reference24 articles.

1. Bunel, R., Turkaslan, I., Torr, P., Kohli, P., Kumar, M.: Piecewise linear neural network verification: a comparative study. Technical report (2017). arXiv:1711.00455v1

2. Carlini, N., Katz, G., Barrett, C., Dill, D.: Provably minimally-distorted adversarial examples. Technical report (2017). arXiv:1709.10207

3. Chvátal, V.: Linear Programming. W. H. Freeman and Company, New York (1983)

4. Lecture Notes in Computer Science;R Ehlers,2017

5. Gehr, T., Mirman, M., Drachsler-Cohen, D., Tsankov, E., Chaudhuri, S., Vechev, M.: AI2: safety and robustness certification of neural networks with abstract interpretation. In: Proceedings of 39th IEEE Symposium on Security and Privacy (S&P) (2018)

Cited by 285 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Code-Level Safety Verification for Automated Driving: A Case Study;Lecture Notes in Computer Science;2024-09-13

2. Verifying safety of neural networks from topological perspectives;Science of Computer Programming;2024-09

3. Efficient verification of neural networks based on neuron branching and LP abstraction;Neurocomputing;2024-09

4. Complexity and scalability of defeasible reasoning in many-valued weighted knowledge bases with typicality;Journal of Logic and Computation;2024-08-05

5. Verifying the Generalization of Deep Learning to Out-of-Distribution Domains;Journal of Automated Reasoning;2024-08-03