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:
ECAI (2020)
Keyphrases
</>
formal specification
management system
software components
database systems
building blocks
artificial intelligence
web services
query language
distributed systems
computer systems
fine grained
specification language