Partial list of publications I am involved with.

CAISAR: A platform for Characterizing Artificial Intelligence Safety and Robustness
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
Learning Finer-class Networks for Universal Representations
Automatic houseware registration system for informationally-structured environment