Publications
2026
Conferences
- Martin Boniol, Julien Brunel, Jean-Baptiste Chaudron, Christophe Garion, Xavier Thirioux. Compressing ACAS-Xu Lookup Tables with Binary Decision Diagrams. NASA Formal Methods (NFM) 2026, May 2026, Los Angeles (CA), United States. (Published soon : preprint version available)
Preprints
-
Martin Boniol, Julien Brunel, Jean-Baptiste Chaudron, Christophe Garion, Xavier Thirioux. Compressing ACAS-Xu Lookup Tables with Binary Decision Diagrams. 
-
Martin Boniol, Julien Brunel, Jean-Baptiste Chaudron, Christophe Garion, Xavier Thirioux. Symbolic Verification of ACAS-Xu Lookup Tables using Binary Decision Diagrams. 
2025
Preprints
- Martin Boniol, Julien Brunel, Jean-Baptiste Chaudron, Christophe Garion, Xavier Thirioux. A Formal Verification approach for mitigating Neural Network approximations of Acas-Xu.

Others
- Martin Boniol, Julien Brunel, Jean-Baptiste Chaudron, Christophe Garion, Xavier Thirioux. Verification of Neural Networks as a Replacement for LUTs in ACAS-Xu. Journées FAC Toulouse (formalization of competing activities)
