ReachNN: Reachability Analysis of Neural-Network Controlled Systems.

Chao Huang Jiameng Fan Wenchao Li Xin Chen Qi Zhu

Published in: CoRR (2019)

Keyphrases

neural network
reachability analysis
complex systems
real time
fuzzy logic
fault diagnosis