TY - RPRT TI - CAMUS: A Framework to Build Formal Specifications for Deep Perception Systems Using Simulators AU - Julien Girard-Satabin AU - Guillaume Charpiat AU - Zakaria Chihani AU - Marc Schoenauer PY - 2019 UR - https://arxiv.org/abs/1911.10735 ID - 1911.10735 ER -