A Verification Framework for Certifying Learning-Based Safety-Critical Aviation Systems. - Ali Baheri; Hao Ren; Benjamin Johnson 007; Pouria Razzaghi; Peng Wei (CoRR, 2022)