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]
Abstract is missing.