@InProceedings{girardsatabin2022caisar,
  author      = {Girard-Satabin, Julien and Alberti, Michele and Bobot, Fran{\c c}ois and Chihani, Zakaria and Lemesle, Augustin},
  booktitle   = {AISafety},
  title       = {CAISAR: A platform for Characterizing Artificial Intelligence Safety and Robustness},
  year        = {2022},
  address     = {Vienne, Austria},
  month       = Jul,
  series      = {CEUR-Workshop Proceedings},
  groups      = {team},
  hal_id      = {hal-03687211},
  hal_version = {v2},
  keywords    = {Artificial Intelligence ; Robustness ; OCaml ; Verification \& Validation ; Verification \& Proofs ; Neural Network ; Support Vector Machine},
  pdf         = {https://hal.archives-ouvertes.fr/hal-03687211v2/file/main.pdf},
  url         = {https://hal.archives-ouvertes.fr/hal-03687211},
}