Scholar
Tristan Le Gall
Google Scholar ID: N2bmUDEAAAAJ
CEA LIST
informatique théorique
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
99
H-index
7
i10-index
2
Publications
20
Co-authors
11
list available
Publications
2 items
Passive Learning of Lattice Automata from Recurrent Neural Networks
2025
Cited
0
Neural Network Verification with PyRAT
arXiv.org · 2024
Cited
4
Co-authors
7 total
Grégoire Sutre
Research Fellow, CNRS, University of Bordeaux
Thierry Jéron
Univ Rennes, Inria, CNRS, IRISA
axel legay
TRAXXEO
Jean-François Raskin
Université Libre de Bruxelles, U.L.B.
Sylvie Putot
LIX, Ecole Polytechnique
Eric Goubault
Ecole Polytechnique
Emmanuel Filiot
FNRS - Université Libre de Bruxelles
