Safety verification of Neural-Network-based controllers: a set invariance approach.

Louis Jouret Adnane Saoud Sorin Olaru

Published in: CoRR (2023)

Keyphrases

small number
real time
neural network
information systems
real world
data mining
artificial intelligence
decision trees
relational databases
evolutionary algorithm
mobile robot
probability distribution
initial set