Picture for Julien Girard-Satabin

Julien Girard-Satabin

LIST

CAISAR: A platform for Characterizing Artificial Intelligence Safety and Robustness

Add code
Jun 07, 2022
Figure 1 for CAISAR: A platform for Characterizing Artificial Intelligence Safety and Robustness
Figure 2 for CAISAR: A platform for Characterizing Artificial Intelligence Safety and Robustness
Viaarxiv icon

DISCO Verification: Division of Input Space into COnvex polytopes for neural network verification

Add code
May 17, 2021
Figure 1 for DISCO Verification: Division of Input Space into COnvex polytopes for neural network verification
Figure 2 for DISCO Verification: Division of Input Space into COnvex polytopes for neural network verification
Figure 3 for DISCO Verification: Division of Input Space into COnvex polytopes for neural network verification
Figure 4 for DISCO Verification: Division of Input Space into COnvex polytopes for neural network verification
Viaarxiv icon

CAMUS: A Framework to Build Formal Specifications for Deep Perception Systems Using Simulators

Add code
Nov 25, 2019
Figure 1 for CAMUS: A Framework to Build Formal Specifications for Deep Perception Systems Using Simulators
Figure 2 for CAMUS: A Framework to Build Formal Specifications for Deep Perception Systems Using Simulators
Figure 3 for CAMUS: A Framework to Build Formal Specifications for Deep Perception Systems Using Simulators
Figure 4 for CAMUS: A Framework to Build Formal Specifications for Deep Perception Systems Using Simulators
Viaarxiv icon