相关参考文献
注意:仅列出部分参考文献,下载原文获取全部文献信息。
Proceedings Paper
Computer Science, Theory & Methods
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks
Guy Katz et al.
COMPUTER AIDED VERIFICATION, CAV 2017, PT I (2017)
Article
Multidisciplinary Sciences
Mastering the game of Go with deep neural networks and tree search
David Silver et al.
NATURE (2016)
Article
Computer Science, Artificial Intelligence
Man vs. computer: Benchmarking machine learning algorithms for traffic sign recognition
J. Stallkamp et al.
NEURAL NETWORKS (2012)