Registered user since Tue 30 Sep 2025
Name:Gaëtan Staquet
Country:France
Affiliation:Nantes Université - École Centrale Nantes - CNRS - LS2N - UMR 6004
Personal website: https://www.gaetanstaquet.com
Research interests:Formal methods, automata theory, automata learning
Contributions
Using general profile