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 Clavière. Towards Certification of a Reduced Footprint ACAS-Xu System: A Hybrid ML-Based Solution. In Ibrahim Habli, Mark Sujan, Friedemann Bitsch, editors, Computer Safety, Reliability, and Security - 40th International Conference, SAFECOMP 2021, York, UK, September 8-10, 2021, Proceedings. Volume 12852 of Lecture Notes in Computer Science, pages 34-48, Springer, 2021. [doi]

Authors

Mathieu Damour

This author has not been identified. Look up 'Mathieu Damour' in Google

Florence De Grancey

This author has not been identified. Look up 'Florence De Grancey' in Google

Christophe Gabreau

This author has not been identified. Look up 'Christophe Gabreau' in Google

Adrien Gauffriau

This author has not been identified. Look up 'Adrien Gauffriau' in Google

Jean-Brice Ginestet

This author has not been identified. Look up 'Jean-Brice Ginestet' in Google

Alexandre Hervieu

This author has not been identified. Look up 'Alexandre Hervieu' in Google

Thomas Huraux

This author has not been identified. Look up 'Thomas Huraux' in Google

Claire Pagetti

This author has not been identified. Look up 'Claire Pagetti' in Google

Ludovic Ponsolle

This author has not been identified. Look up 'Ludovic Ponsolle' in Google

Arthur Clavière

This author has not been identified. Look up 'Arthur Clavière' in Google