Safety Verification of Neural-Network-Based Controllers: A Set Invariance Approach.

Louis Jouret Adnane Saoud Sorin Olaru

Published in: IEEE Control. Syst. Lett. (2023)

Keyphrases

neural network
database
machine learning
search engine
user defined
computer vision
object recognition
small number
feature set