Online Verification of Automated Road Vehicles using Reachability Analysis

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