Towards the use of formal methods in the certification of vision-based landing systems using high-dimensional ML algorithms

HAL 2026 Open access

Read full text
Authors: Noémie Cohen, Christophe Gabreau, Mélanie Ducoffe, Claire Pagetti, Xavier Pucel
DOI: 10.82331/erts.2026.36
Cited by: 0

Abstract

Formal methods show great promise for supporting the verification process within the avionics certification context. However, they remain intractable for high-dimensionalproblems. This paper summarizes the results of a CIFRE PhD thesis that paves the way for resolving this challenge

Fields of Study & Subjects

Formal Methods in Verification Safety Systems Engineering in Autonomy Aerospace Engineering and Control Systems

Publication details

Journal / source
HAL
Publication date
17 February 2026
Language
EN