Open positions, internships


M2 Internship at IRIF, Université de Paris

Learning hybrid automata


M2 Internship at IRIF, Université de Paris

Timed distances and approximate verification of timed systems