@inproceedings{girardsatabin:hal-02440520,
  TITLE = {{CAMUS: A Framework to Build Formal Specifications for Deep Perception Systems Using Simulators}},
  AUTHOR = {Girard-Satabin, Julien and Charpiat, Guillaume and Chihani, Zakaria and Schoenauer, Marc},
  URL = {https://hal.inria.fr/hal-02440520},
  BOOKTITLE = {{European Conference on Artificial Intelligence}},
  ADDRESS = {Santiago de Compostela, Spain},
  YEAR = {2020},
  MONTH = Jun,
  HAL_ID = {hal-02440520},
  HAL_VERSION = {v1},
}