Registered user since Thu 28 Aug 2025
Name:Adrien Pommellet
Country:France
Affiliation:EPITA / LRE
Personal website: https://www.lrde.epita.fr/~adrien/
Research interests:Formal Methods, Active and Passive Learning
Contributions
Using general profile