Statistical and adaptive approach for verification of a neural-based flight control system | IEEE Conference Publication | IEEE Xplore