M2 Internship at IRIF, Université de Paris
Learning hybrid automata
Timed distances and approximate verification of timed systems