Aymeric Varasse

Latest

• Partitionnement en régions linéaires pour la vérification formelle de réseaux de neurones