Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Nicolas Amat
conf.researchr.org general profile
ASE 2025 profile
Not registered as user
Name:
Nicolas Amat
Affiliation:
ONERA - The French Aerospace Lab
Contributions
2025
ASE
Author of How Big is the Automaton? Certified Lower Bounds on the Size of Presburger DFAs within the Research Papers-track
Share
x
Mon 27 Oct 05:47