@misc{indiciaee8021a7681a3,
  title = {Compressing ACAS-Xu Lookup Tables with Binary Decision Diagrams},
  author = {Martin Boniol and Julien Brunel and Jean-Baptiste Chaudron and Christophe Garion and Xavier Thirioux},
  year = {2026},
  url = {https://arxiv.org/abs/2604.27008},
  note = {Source identifier: 2604.27008}
}