Zakaria Chihani

Latest

• Caractériser des propriétés de confiance d’IA avec Why3
• 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