Advanced SEU and MBU Vulnerability Assessment of Deep Neural Networks in Air-to-Air Collision Avoidance Systems via SAT-Based Techniques. - Ashkan Samadi; Abdellah Harous; Otmane Aït Mohamed; Mounir Boukadoum (MWSCAS, 2024)