Caractérisation topologique d'espaces d'états atteignables, applications à la vérification de réseaux de neurones · LIX - Laboratoire d'informatique, Doctorat · La Géode