Artigo
Acesso aberto
Revisado por pares
Algorithms for Verifying Deep Neural Networks
2020; Now Publishers; Volume: 4; Issue: 3-4 Linguagem: Inglês
10.1561/2400000035
ISSN2167-3918
AutoresChangliu Liu, Tomer Arnon, Christopher Lazarus, Christopher A. Strong, Clark Barrett, Mykel J. Kochenderfer,
Tópico(s)Adversarial Robustness in Machine Learning
Referência(s)