Login / Signup
CAMUS: A Framework to Build Formal Specifications for Deep Perception Systems Using Simulators.
Julien Girard-Satabin
Guillaume Charpiat
Zakaria Chihani
Marc Schoenauer
Published in:
CoRR (2019)
Keyphrases
</>
formal specification
databases
management system
general purpose
expert systems
programming language
reasoning systems
object oriented design