Reachability Analysis of Neural Network Control Systems.

Chi Zhang Wenjie Ruan Peipei Xu

Published in: AAAI (2023)

Keyphrases

reachability analysis
neural network
control system
model checking
markov decision processes
fuzzy logic
artificial neural networks
timed automata
incremental algorithms
state space
back propagation
neural network model
genetic algorithm
objective function
neural network is trained
closed loop
associative memory