Antoine Martin
From LRDE
- email: amartin (at) lrde.epita.fr
Home page: https://lrde.epita.fr/~amartin
Short biography
PhD student advised by Alexandre Duret-Lutz and Étienne Renault, working on better PSL to ω-automata translation.
Home page: https://lrde.epita.fr/~amartin
PhD student advised by Alexandre Duret-Lutz and Étienne Renault, working on better PSL to ω-automata translation.