Verification of Neural Networks for Safety Critical Applications

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]

Authors

Khaled Khalifa

This author has not been identified. Look up 'Khaled Khalifa' in Google

Mona Safar

This author has not been identified. Look up 'Mona Safar' in Google

M. Watheq El-Kharashi

This author has not been identified. Look up 'M. Watheq El-Kharashi' in Google