Julien Girard-Satabin
Julien Girard-Satabin
Home
Publications
Talks
Teaching
Tutorials
Light
Dark
Automatic
Marc Schoenauer
Latest
Partitionnement en régions linéaires pour la vérification formelle de réseaux de neurones
CAMUS: A Framework to Build Formal Specifications for Deep Perception Systems Using Simulators
Cite
×