@article(AlDo14, author = {M. Althoff and J. Dolan}, year = {2014}, title = {{Online Verification of Automated Road Vehicles using Reachability Analysis}}, journal = {IEEE Transactions on Robotics}, volume = {30}, pages = {903--918}, doi = {10.1109/TRO.2014.2312453}, ) @inproceedings(BaIoLaVyNoCr16, author = {O Bastani and Y. Ioannou and L. Lampropoulos and D. Vytiniotis and A. Nori and A. Criminisi}, year = {2016}, title = {{Measuring Neural Net Robustness with Constraints}}, booktitle = {Proc. 30th Conf. on Neural Information Processing Systems (NIPS)}, ) @misc(BoDeDwFiFlGoJaMoMuZhZhZhZi16, author = {M. Bojarski and Del Testa, D. and D. Dworakowski and B. Firner and B. Flepp and P. Goyal and L. Jackel and M. Monfort and U. Muller and J. Zhang and X. Zhang and J. Zhao and K. Zieba}, year = {2016}, title = {{End to End Learning for Self-Driving Cars}}, note = {Technical Report. \url{http://arxiv.org/abs/1604.07316}}, ) @inproceedings(CaWa17, author = {N. Carlini and D. Wagner}, year = {2017}, title = {{Towards Evaluating the Robustness of Neural Networks}}, booktitle = {Proc. 38th Symposium on Security and Privacy (SP)}, doi = {10.1109/SP.2017.49}, ) @inproceedings(GlBoBe11, author = {X. Glorot and A. Bordes and Y. Bengio}, year = {2011}, title = {{Deep Sparse Rectifier Neural Networks}}, booktitle = {Proc. 14th Int. Conf. on Artificial Intelligence and Statistics (AISTATS)}, pages = {315--323}, ) @book(FoBeCu16, author = {I. Goodfellow and Y. Bengio and A. Courville}, year = {2016}, title = {{Deep Learning}}, publisher = {MIT Press}, ) @misc(GoShSz14, author = {I. Goodfellow and J. Shlens and C. Szegedy}, year = {2014}, title = {{Explaining and Harnessing Adversarial Examples}}, note = {Technical Report. \url{http://arxiv.org/abs/1412.6572}}, ) @article(HiDeYuDaMoJaSeVaNgSaKi12, author = {G. Hinton and L. Deng and D. Yu and G. Dahl and A. Mohamed and N. Jaitly and A. Senior and V. Vanhoucke and P. Nguyen and T. Sainath and B. Kingsbury}, year = {2012}, title = {{Deep Neural Networks for Acoustic Modeling in Speech Recognition: The Shared Views of Four Research Groups}}, journal = {IEEE Signal Processing Magazine}, volume = {29}, number = {6}, pages = {82--97}, doi = {10.1109/MSP.2012.2205597}, ) @misc(HuKwWaWu16, author = {X. Huang and M. Kwiatkowska and S. Wang and M. Wu}, year = {2016}, title = {{Safety Verification of Deep Neural Networks}}, note = {Technical Report. \url{http://arxiv.org/abs/1610.06940}}, ) @inproceedings(JaKaLe09, author = {K. Jarrett and K. Kavukcuoglu and Y. LeCun}, year = {2009}, title = {{What is the Best Multi-Stage Architecture for Object Recognition?}}, booktitle = {Proc. 12th IEEE Int. Conf. on Computer Vision (ICCV)}, pages = {2146--2153}, doi = {10.1109/ICCV.2009.5459469}, ) @inproceedings(JaGhKoGaScZaPl15, author = {J.-B. Jeannin and K Ghorbal and Y. Kouskoulas and R. Gardner and A. Schmidt and E. Zawadzki and A. Platzer}, year = {2015}, title = {{A Formally Verified Hybrid System for the Next-Generation Airborne Collision Avoidance System}}, booktitle = {Proc. 21st Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)}, pages = {21--36}, doi = {10.1007/978-3-662-46681-0\_2}, ) @inproceedings(JuLoBrOwKo16, author = {K. Julian and J. Lopez and J. Brush and M. Owen and M. Kochenderfer}, year = {2016}, title = {{Policy Compression for Aircraft Collision Avoidance Systems}}, booktitle = {Proc. 35th Digital Avionics Systems Conf. (DASC)}, pages = {1--10}, doi = {10.1109/DASC.2016.7778091}, ) @inproceedings(KaBaDiJuKo17, author = {G. Katz and C. Barrett and D. Dill and K. Julian and M. Kochenderfer}, year = {2017}, title = {{Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks}}, booktitle = {Proc. 29th Int. Conf. on Computer Aided Verification (CAV)}, pages = {97--117}, doi = {10.1007/978-3-319-63387-9\_5}, ) @article(KrSuHi12, author = {A. Krizhevsky and I. Sutskever and G. Hinton}, year = {2012}, title = {{Imagenet Classification with Deep Convolutional Neural Networks}}, journal = {Advances in Neural Information Processing Systems}, pages = {1097--1105}, ) @misc(KuGoBe16, author = {A. Kurakin and I. Goodfellow and S. Bengio}, year = {2016}, title = {{Adversarial Examples in the Physical World}}, note = {Technical Report. \url{http://arxiv.org/abs/1607.02533}}, ) @inproceedings(MaHaNg13, author = {A. Maas and A. Hannun and A. Ng}, year = {2013}, title = {{Rectifier Nonlinearities improve Neural Network Acoustic Models}}, booktitle = {Proc. 30th Int. Conf. on Machine Learning (ICML)}, ) @inproceedings(NaHi10, author = {V. Nair and G. Hinton}, year = {2010}, title = {{Rectified Linear Units Improve Restricted Boltzmann Machines}}, booktitle = {Proc. 27th Int. Conf. on Machine Learning (ICML)}, pages = {807--814}, ) @inproceedings(PuTa10, author = {L. Pulina and A. Tacchella}, year = {2010}, title = {{An Abstraction-Refinement Approach to Verification of Artificial Neural Networks}}, booktitle = {Proc. 22nd Int. Conf. on Computer Aided Verification (CAV)}, pages = {243--257}, doi = {10.1007/978-3-642-14295-6\_24}, ) @article(PuTa12, author = {L. Pulina and A. Tacchella}, year = {2012}, title = {{Challenging SMT Solvers to Verify Neural Networks}}, journal = {AI Communications}, volume = {25(2)}, pages = {117--135}, doi = {10.3233/AIC-2012-0525}, ) @article(SiHuMaGuSiVaScAnPaLaDi16, author = {D. Silver and A. Huang and C. Maddison and A. Guez and L. Sifre and Van Den Driessche, G. and J. Schrittwieser and I. Antonoglou and V. Panneershelvam and M. Lanctot and S. Dieleman}, year = {2016}, title = {{Mastering the Game of Go with Deep Neural Networks and Tree Search}}, journal = {Nature}, volume = {529}, number = {7587}, pages = {484--489}, doi = {10.1038/nature16961}, ) @misc(SzZaSuBrErGoFe13, author = {C. Szegedy and W. Zaremba and I. Sutskever and J. Bruna and D. Erhan and I. Goodfellow and R. Fergus}, year = {2013}, title = {{Intriguing Properties of Neural Networks}}, note = {Technical Report. \url{http://arxiv.org/abs/1312.6199}}, )