@article(abiodun2019comprehensive,
 author       = {Oludare Isaac Abiodun and Aman Jantan and Abiodun Esther Omolara and Kemi Victoria Dada and Abubakar Malah Umar and Okafor Uchenwa Linus and Humaira Arshad and Abdullahi Aminu Kazaure and Usman Gana and Muhammad Ubale Kiru},
 year         = {2019},
 title        = {Comprehensive review of artificial neural network applications to pattern recognition},
 journal      = {IEEE Access},
 volume       = {7},
 pages        = {158820--158846},
 doi          = {10.1109/ACCESS.2019.2945545},
)
@article(anthadupula2021review,
 author       = {Sushma Priya Anthadupula and Manasi Gyanchandani},
 year         = {2021},
 title        = {A Review and Performance Analysis of Non-Linear Activation Functions in Deep Neural Networks},
 journal      = {Int. Res. J. Mod. Eng. Technol. Sci},
 doi          = {10.1109/iscid.2009.214.},
)
@inproceedings(bak2017serllswi,
 author       = {Stanley Bak and Parasara Sridhar Duggirala},
 year         = {2017},
 title        = {Simulation-Equivalent Reachability of Large Linear Systems with Inputs},
 editor       = {Rupak Majumdar and Kun{\v{c}}ak, Viktor},
 booktitle    = {Computer Aided Verification},
 pages        = {401--420},
 doi          = {10.1007/978-3-319-63387-9_20},
)
@article(boopathy2019cnn,
 author       = {Akhilan Boopathy and Tsui-Wei Weng and Pin-Yu Chen and Sijia Liu and Luca Daniel},
 year         = {2019},
 title        = {CNN-Cert: An Efficient Framework for Certifying Robustness of Convolutional Neural Networks},
 journal      = {Proceedings of the AAAI Conference on Artificial Intelligence},
 volume       = {33},
 number       = {01},
 pages        = {3240--3247},
 doi          = {10.1609/aaai.v33i01.33013240},
 url          = {https://ojs.aaai.org/index.php/AAAI/article/view/4193},
)
@misc(sonar,
 author       = {Jason Brownlee},
 year         = {2022},
 title        = {Binary Classification Tutorial with the Keras Deep Learning Library},
 howpublished = {\url{https://machinelearningmastery.com/binary-classification-tutorial-with-the-keras-deep-learning-library/}},
 note         = {[Accessed : June 1, 2023]},
)
@inproceedings(cheng2017maximum,
 author       = {Chih-Hong Cheng and Georg N{\"u}hrenberg and Harald Ruess},
 year         = {2017},
 title        = {Maximum resilience of artificial neural networks},
 booktitle    = {Automated Technology for Verification and Analysis: 15th International Symposium, ATVA 2017, Pune, India, October 3--6, 2017, Proceedings 15},
 organization = {Springer},
 pages        = {251--268},
 doi          = {10.1007/978-3-319-68167-2_18},
)
@article(clarke1996formal,
 author       = {Edmund M Clarke and Jeannette M Wing},
 year         = {1996},
 title        = {Formal methods: State of the art and future directions},
 journal      = {ACM Computing Surveys (CSUR)},
 volume       = {28},
 number       = {4},
 pages        = {626--643},
 doi          = {10.1145/242223.242257},
)
@techreport(collobert2004,
 author       = {Ronan Collobert},
 year         = {2004},
 title        = {Large scale machine learning},
 type         = {Technical Report},
 institution  = {Universit{\'e} de Paris VI},
)
@article(cubuk2017intriguing,
 author       = {Ekin Cubuk and Barret Zoph and Samuel Schoenholz and Quoc Le},
 year         = {2017},
 title        = {Intriguing Properties of Adversarial Examples},
)
@article(datta2020surveyonactfunction,
 author       = {Leonid Datta},
 year         = {2020},
 title        = {A Survey on Activation Functions and their relation with Xavier and He Normal Initialization},
)
@misc(vanishing2023,
 author       = {Educative},
 year         = {2023},
 title        = {What is the vanishing gradient problem?},
 howpublished = {\url{https://www.educative.io/answers/what-is-the-vanishing-gradient-problem}},
 note         = {[Accessed: May 12, 2023]},
)
@inproceedings(ehlers2017formal,
 author       = {Ruediger Ehlers},
 year         = {2017},
 title        = {Formal verification of piece-wise linear feed-forward neural networks},
 booktitle    = {Automated Technology for Verification and Analysis: 15th International Symposium, ATVA 2017, Pune, India, October 3--6, 2017, Proceedings 15},
 organization = {Springer},
 pages        = {269--286},
 doi          = {10.1007/978-3-319-68167-2_19},
)
@inproceedings(erhan2014scalable,
 author       = {Dumitru Erhan and Christian Szegedy and Alexander Toshev and Dragomir Anguelov},
 year         = {2014},
 title        = {Scalable Object Detection Using Deep Neural Networks},
 booktitle    = {2014 IEEE Conference on Computer Vision and Pattern Recognition},
 pages        = {2155--2162},
 doi          = {10.1109/CVPR.2014.276},
)
@inproceedings(fromherz2021fast,
 author       = {Aymeric Fromherz and Klas Leino and Matt Fredrikson and Bryan Parno and Corina Pasareanu},
 year         = {2021},
 title        = {Fast Geometric Projections for Local Robustness Certification},
 booktitle    = {International Conference on Learning Representations},
 url          = {https://openreview.net/forum?id=zWy1uxjDdZJ},
)
@proceedings(stepfunction,
 editor       = {Osvaldo Gervasi and Beniamino Murgante and Antonio Lagan{\`{a}} and David Taniar and Youngsong Mun and Marina L. Gavrilova},
 year         = {2008},
 title        = {Computational Science and Its Applications - {ICCSA} 2008, International Conference, Perugia, Italy, June 30 - July 3, 2008, Proceedings, Part {I}},
 series       = {Lecture Notes in Computer Science},
 volume       = {5072},
 publisher    = {Springer},
 doi          = {10.1007/978-3-540-69839-5},
)
@article(goodfellow2014explaining,
 author       = {Ian J. Goodfellow and Jonathon Shlens and Christian Szegedy},
 year         = {2014},
 title        = {Explaining and Harnessing Adversarial Examples},
 journal      = {CoRR},
 volume       = {abs/1412.6572},
 url          = {https://api.semanticscholar.org/CorpusID:6706414},
)
@article(guidotti2022verification,
 author       = {Dario Guidotti},
 year         = {2022},
 title        = {Verification of Neural Networks for Safety and Security-critical Domains},
 journal      = {ISSN 1613-0073 CEUR Workshop Proceedings},
 url          = {https://ceur-ws.org/Vol-3345/paper10_RiCeRCa3.pdf},
)
@misc(drones,
 author       = {Dario Guidotti and Stefano Demarchi and Luca Pulina and Armando Tacchella},
 year         = {2022},
 title        = {Evaluating Reachability Algorithms for Neural Networks on NeVer2},
)
@inproceedings(henriksen2021deepsplit,
 author       = {Patrick Henriksen and Alessio Lomuscio},
 year         = {2021},
 title        = {DEEPSPLIT: An Efficient Splitting Method for Neural Network Verification via Indirect Effect Analysis.},
 booktitle    = {IJCAI},
 pages        = {2549--2555},
 doi          = {10.24963/ijcai.2021/351},
)
@book(hinchey1995applications,
 author       = {Michael Hinchey and Jonathan Bowen and Christopher Rouff},
 year         = {2006},
 title        = {Introduction to Formal Methods},
 publisher    = {Springer},
 doi          = {10.1007/1-84628-271-3_2},
)
@article(6296526,
 author       = {Geoffrey Hinton and Li Deng and Dong Yu and George E. Dahl and Abdel-rahman Mohamed and Navdeep Jaitly and Andrew Senior and Vincent Vanhoucke and Patrick Nguyen and Tara N. Sainath and Brian 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},
)
@article(hinton2012deep,
 author       = {Geoffrey Hinton and Li Deng and Dong Yu and George E Dahl and Abdel-rahman Mohamed and Navdeep Jaitly and Andrew Senior and Vincent Vanhoucke and Patrick Nguyen and Tara N Sainath},
 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},
)
@article(huang2019reachnn,
 author       = {Chao Huang and Jiameng Fan and Wenchao Li and Xin Chen and Qi Zhu},
 year         = {2019},
 title        = {Reachnn: Reachability analysis of neural-network controlled systems},
 journal      = {ACM Transactions on Embedded Computing Systems (TECS)},
 volume       = {18},
 number       = {5s},
 pages        = {1--22},
 doi          = {10.1145/3358228},
)
@inproceedings(huang2017safety,
 author       = {Xiaowei Huang and Marta Kwiatkowska and Sen Wang and Min Wu},
 year         = {2017},
 title        = {Safety verification of deep neural networks},
 booktitle    = {International conference on computer aided verification},
 organization = {Springer},
 pages        = {3--29},
 doi          = {10.1007/978-3-319-63387-9_1},
)
@mastersthesis(thermostat,
 author       = {Ruoran Gabriela Jiang},
 year         = {2023},
 title        = {Verifying ai-controlled hybrid systems},
 type         = {Master's thesis},
 school       = {RWTH Aachen University},
 address      = {Aachen, Germany},
 note         = {Available at \url{https://ths.rwth-aachen.de/wp-content/uploads/sites/4/master_thesis_jiang.pdf}},
)
@article(julian_2019,
 author       = {Kyle D. Julian and Mykel J. Kochenderfer and Michael P. Owen},
 year         = {2019},
 title        = {Deep Neural Network Compression for Aircraft Collision Avoidance Systems},
 journal      = {Journal of Guidance, Control, and Dynamics},
 volume       = {42},
 number       = {3},
 pages        = {598--608},
 doi          = {10.2514/1.g003724},
)