Safety Verification of Neural Network Controlled Systems.

Arthur Clavière Eric Asselin Christophe Garion Claire Pagetti

Published in: DSN Workshops (2021)

Keyphrases

neural network
management system
pattern recognition
fuzzy logic
distributed systems
learning systems
real time
genetic algorithm
artificial neural networks
knowledge based systems
back propagation
embedded systems
multi layer
network architecture
computer controlled