Open AccessCAMUS: A Framework to Build Formal Specifications for Deep Perception Systems Using Simulators
Author(s) -
Julien Girard-Satabin,
Guillaume Charpiat,
Zakaria Chihani,
Marc Schoenauer
Publication year - 2020
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - computer science , perception , formal methods , formal verification , software engineering , formal specification , human–computer interaction , artificial intelligence , programming language , systems engineering , engineering , psychology , neuroscience