SafeDeep: A Scalable Robustness Verification Framework for Deep Neural Networks-Reference-Cited by-同舟云学术

SafeDeep: A Scalable Robustness Verification Framework for Deep Neural Networks

Published:2023-06-04 Issue: Volume: Page:
ISSN:
Container-title:ICASSP 2023 - 2023 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP)
language:
Short-container-title:

Author:

Baninajjar Anahita¹,Hosseini Kamran²,Rezine Ahmed²,Aminifar Amir¹

Affiliation:

1. Lund University,Department of Electrical and Information Technology,Lund,Sweden

2. Linköping University,Department of Computer and Information Science,Linköping,Sweden

Funder

Interreg

Publisher

IEEE

Link

http://xplorestaging.ieee.org/ielx7/10094559/10094560/10097028.pdf?arnumber=10097028

Reference20 articles.

1. Beyond the single neuron convex barrier for neural network certification;singh;Advances in neural information processing systems,2019

2. An abstract domain for certifying neural networks

3. A unified view of piecewise linear neural network verification;bunel;Advances in neural information processing systems,2018

4. Safety Verification of Deep Neural Networks

5. Application of machine learning to epileptic seizure onset detection and treatment;hossam shoeb;PhD thesis Massachusetts Institute of Technology,2009

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

1. Verifying Global Two-Safety Properties in Neural Networks with Confidence;Lecture Notes in Computer Science;2024

2. Using Deep Reinforcement Learning And Formal Verification in Safety Critical Systems: Strategies and Challenges;2023 IEEE 23rd International Conference on Software Quality, Reliability, and Security Companion (QRS-C);2023-10-22