@misc(eran,
 title        = {ETH Robustness Analyzer for Neural Networks (ERAN) github repository},
 note         = {\url{https://github.com/eth-sri/eran}, last accessed 2021-04-10},
)
@misc(keras,
 author       = {Fran{\c{c}}ois Chollet},
 title        = {{Keras}},
 note         = {\url{https://keras.io/}, last accessed 2021-02-19},
)
@article(davis,
 author       = {Martin Davis and George Logemann and Donald Loveland},
 year         = {1962},
 title        = {A Machine Program for Theorem-Proving},
 journal      = {Communications of the ACM},
 volume       = {5},
 number       = {7},
 pages        = {394\IeC{\textendash}397},
 doi          = {10.1145/368273.368557},
)
@article(isat,
 author       = {Martin Fr{\"{a}}nzle and Christian Herde and Stefan Ratschan and Tobias Schubert and Tino Teige},
 year         = {2007},
 title        = {{Efficient solving of large non-linear arithmetic constraint systems with complex boolean structure}},
 journal      = {Journal of {S}atisfiability, {B}oolean {M}odeling and {C}omputation},
 pages        = {209--236},
 doi          = {10.3233/SAT190012},
)
@article(onnx,
 author       = {Braddock Gaskill},
 year         = {2018},
 title        = {ONNX: the Open Neural Network Exchange Format},
 journal      = {Linux Journal},
 url          = {https://www.linuxjournal.com/content/onnx-open-neural-network-exchange-format},
 note         = {Last accessed 2021-10-27},
)
@inproceedings(ai2,
 author       = {Timon Gehr and Matthew Mirman and Drachsler-Cohen, Dana and Petar Tsankov and Swarat Chaudhuri and Martin Vechev},
 year         = {2018},
 title        = {AI2: Safety and Robustness Certification of Neural Networks with Abstract Interpretation},
 booktitle    = {2018 IEEE Symposium on Security and Privacy (SP)},
 pages        = {3--18},
 doi          = {10.1109/SP.2018.00058},
)
@book(herde,
 author       = {Christian Herde},
 year         = {2011},
 title        = {{Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure: Integration of DPLL and Interval Constraint Solving - ETCS model}},
 publisher    = {Vieweg+Teubner Research},
 doi          = {10.1007/978-3-8348-9949-1},
)
@inproceedings(oxford,
 author       = {Xiaowei Huang and Marta Kwiatkowska and Sen Wang and Min Wu},
 year         = {2017},
 title        = {Safety Verification of Deep Neural Networks},
 editor       = {Rupak Majumdar and Kun{\v{c}}ak, Viktor},
 booktitle    = {Computer Aided Verification},
 publisher    = {Springer},
 pages        = {3--29},
 doi          = {10.1007/978-3-319-63387-9\_1},
)
@inproceedings(verisig,
 author       = {Radoslav Ivanov and James Weimer and Rajeev Alur and George J. Pappas and Insup Lee},
 year         = {2019},
 title        = {Verisig: Verifying Safety Properties of Hybrid Systems with Neural Network Controllers},
 booktitle    = {Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control},
 series       = {HSCC '19},
 publisher    = {Association for Computing Machinery},
 address      = {New York, NY, USA},
 pages        = {169\IeC{\textendash}178},
 doi          = {10.1145/3302504.3311806},
)
@inproceedings(katz2017reluplex,
 author       = {Guy Katz and Clark W. Barrett and David L. Dill and Kyle Julian and Mykel J. Kochenderfer},
 year         = {2017},
 title        = {Reluplex: An Efficient {SMT} Solver for Verifying Deep Neural Networks},
 editor       = {Rupak Majumdar and Kun{\v{c}}ak, Viktor},
 booktitle    = {Computer Aided Verification},
 publisher    = {Springer},
 pages        = {97--117},
 doi          = {10.1007/978-3-319-63387-9\_5},
)
@inproceedings(marabou,
 author       = {Guy Katz and Derek A. Huang and Duligur Ibeling and Kyle Julian and Christopher Lazarus and Rachel Lim and Parth Shah and Shantanu Thakoor and Haoze Wu and Aleksandar Zelji{\'{c}} and David L. Dill and Mykel J. Kochenderfer and Clark Barrett},
 year         = {2019},
 title        = {The Marabou Framework for Verification and Analysis of Deep Neural Networks},
 editor       = {Isil Dillig and Serdar Tasiran},
 booktitle    = {Computer Aided Verification},
 publisher    = {Springer International Publishing},
 address      = {Cham},
 pages        = {443--452},
 doi          = {10.1007/978-3-030-25540-4\_26},
)
@misc(Adam,
 author       = {Diederik P. Kingma and Jimmy Ba},
 year         = {2017},
 title        = {Adam: A Method for Stochastic Optimization},
 url          = {https://arxiv.org/abs/1412.6980},
)
@techreport(cifar10,
 author       = {Alex Krizhevsky},
 year         = {2009},
 title        = {Learning multiple layers of features from tiny images},
 type         = {Technical Report},
 institution  = {Department of Computer Science, University of Toronto},
 url          = {https://www.cs.toronto.edu/~kriz/cifar.html},
)
@article(imagenet,
 author       = {Alex Krizhevsky and Ilya Sutskever and Geoffrey Hinton},
 year         = {2012},
 title        = {{ImageNet Classification with Deep Convolutional Neural Networks}},
 journal      = {Neural Information Processing Systems},
 volume       = {25},
 doi          = {10.1145/3065386},
)
@misc(mnist_dataset,
 author       = {Yann LeCun and Corinna Cortes and Christopher J. C. Burges},
 title        = {{MNIST}},
 note         = {\url{http://yann.lecun.com/exdb/mnist/}, last accessed 2021-07-08},
)
@inproceedings(acas,
 author       = {Guido Manfredi and Yannick Jestin},
 year         = {2016},
 title        = {An introduction to ACAS Xu and the challenges ahead},
 booktitle    = {{2016 IEEE/AIAA 35th Digital Avionics Systems Conference (DASC)}},
 pages        = {1--9},
 doi          = {10.1109/DASC.2016.7778055},
)
@inproceedings(demouraz3,
 author       = {Leonardo de Moura and Bj{\o}rner, Nikolaj},
 year         = {2008},
 title        = {Z3: An Efficient SMT Solver},
 editor       = {C. R. Ramakrishnan and Jakob Rehof},
 booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems},
 publisher    = {Springer},
 pages        = {337--340},
 doi          = {10.1007/978-3-540-78800-3\_24},
)
@inproceedings(hysatforabstr,
 author       = {Luca Pulina and Armando Tacchella},
 year         = {2010},
 title        = {An Abstraction-Refinement Approach to Verification of Artificial Neural Networks},
 editor       = {Tayssir Touili and Byron Cook and Paul Jackson},
 booktitle    = {Computer Aided Verification},
 publisher    = {Springer},
 pages        = {243--257},
 doi          = {10.1007/978-3-642-14295-6\_24},
)
@article(pulina:smt-nn:2012,
 author       = {Luca Pulina and Armando Tacchella},
 year         = {2012},
 title        = {Challenging SMT Solvers to Verify Neural Networks},
 journal      = {AI Commun.},
 volume       = {25},
 number       = {2},
 pages        = {117--135},
 doi          = {10.3233/AIC-2012-0525},
 url          = {http://dl.acm.org/citation.cfm?id=2350156.2350160},
)
@book(rossi2006handbook,
 author       = {Francesca Rossi and Peter van Beek and Toby Walsh},
 year         = {2006},
 title        = {Handbook of Constraint Programming (Foundations of Artificial Intelligence)},
 publisher    = {Elsevier Science Inc.},
 address      = {USA},
)
@inproceedings(Scheibler2015,
 author       = {Karsten Scheibler and Leonore Winterer and Ralf Wimmer and Bernd Becker},
 year         = {2015},
 title        = {Towards Verification of Artificial Neural Networks},
 editor       = {Ulrich Heinkel and Daniel Kriesten and R{\"{o}}{\ss}ler, Marko},
 booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen},
 publisher    = {Technische Universit\IeC{\"a}t Chemnitz Professur Schaltkreis- und Systementwurf},
 pages        = {30--40},
)
@article(actfunctions,
 author       = {Siddharth Sharma and Simone Sharma and Anidhya Athaiya},
 year         = {2020},
 title        = {Activation Functions in Neural Networks},
 journal      = {International Journal of Engineering Applied Sciences and Technology},
 volume       = {4},
 pages        = {310--316},
 doi          = {10.33564/IJEAST.2020.v04i12.054},
)
@misc(verifisurv,
 author       = {Weiming Xiang and Patrick Musau and Ayana A. Wild and Diego Manzanas Lopez and Nathaniel Hamilton and Xiaodong Yang and Joel Rosenfeld and Taylor T. Johnson},
 year         = {2018},
 title        = {{Verification for Machine Learning, Autonomy, and Neural Networks Survey}},
 url          = {https://arxiv.org/pdf/1810.01989.pdf},
)