Invited Talks and Seminars
2025
- Compressing ACAS-Xu LUTs with Binary Decision Diagrams, Journée FAC (formalization of competing activities) 2026 Toulouse France (April 2026) Slides
2025
- Verification of Neural Networks as a Replacement for LUTs in ACAS-Xu, Journée FAC 2025 Toulouse France (april 2025) Slides
2024
- Analysis of ACAS-Xu Systems for Future Compressions and Optimizations using Artificial Neural Networks, ICCAS 2024 Toulouse France (may 2024) Slides Video