TY  - RPRT
TI  - Compressing ACAS-Xu Lookup Tables with Binary Decision Diagrams
AU  - Martin Boniol
AU  - Julien Brunel
AU  - Jean-Baptiste Chaudron
AU  - Christophe Garion
AU  - Xavier Thirioux
PY  - 2026
UR  - https://arxiv.org/abs/2604.27008
ID  - 2604.27008
ER  -