Open AccessSafety Verification of Neural Network Controlled Systems
Author(s) -
Arthur Clavière,
Eric Asselin,
Christophe Garion,
Claire Pagetti
Publication year - 2021
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - Uncategorized
Resource type - Conference proceedings
Subject(s) - reachability , leverage (statistics) , computer science , artificial neural network , controller (irrigation) , simple (philosophy) , formal verification , distributed computing , control engineering , artificial intelligence , theoretical computer science , engineering , philosophy , epistemology , agronomy , biology