D Cofer, I Amundson, R Sattigeri… - 2020 AIAA/IEEE 39th …, 2020 - ieeexplore.ieee.org
Aircraft systems that include learning-enabled components (LECs) and their software
implementations are not amenable to verification and certification using current methods …