Khaled Khalifa, Mona Safar, M. Watheq El-Kharashi. Verification of Neural Networks for Safety Critical Applications. In 32nd International Conference on Microelectronics, ICM 2020, Aqaba, Jordan, December 14-17, 2020. pages 1-4, IEEE, 2020. [doi]
@inproceedings{KhalifaSE20, title = {Verification of Neural Networks for Safety Critical Applications}, author = {Khaled Khalifa and Mona Safar and M. Watheq El-Kharashi}, year = {2020}, doi = {10.1109/ICM50269.2020.9331504}, url = {https://doi.org/10.1109/ICM50269.2020.9331504}, researchr = {https://researchr.org/publication/KhalifaSE20}, cites = {0}, citedby = {0}, pages = {1-4}, booktitle = {32nd International Conference on Microelectronics, ICM 2020, Aqaba, Jordan, December 14-17, 2020}, publisher = {IEEE}, isbn = {978-1-7281-9664-0}, }