Towards Certification of a Reduced Footprint ACAS-Xu System: A Hybrid ML-Based Solution.

Mathieu Damour, Florence de Grancey, Christophe Gabreau, Adrien Gauffriau, Jean-Brice Ginestet, Alexandre Hervieu, Thomas Huraux, Claire Pagetti, Ludovic Ponsolle, Arthur Clavire

Browse the full SAFECOMP paper archive.