Xavier Thirioux (ISAE-SUPAERO)

Identifiers

No identifiers captured yet.

Papers (1)

1. Compressing ACAS-Xu Lookup Tables with Binary Decision Diagrams cs.LO · 2026 · author #5

Mentions

No mention provenance yet.

Frequent Coauthors

• Christophe Garion (ISAE-SUPAERO) 1 shared papers
• Jean-Baptiste Chaudron (ISAE-SUPAERO) 1 shared papers
• Julien Brunel 1 shared papers
• Martin Boniol (ISAE-SUPAERO) 1 shared papers