Guillaume Charpiat

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