Towards certifiable AI in aviation: landscape, challenges, and opportunities. - Hymalai Bello; Daniel Geißler; Lala Shakti Swarup Ray; Stefan Müller-Divéky; Peter Müller; Shannon Kittrell; Mengxi Liu; Bo Zhou 005; Paul Lukowicz (CoRR, 2024)