ReachNN: Reachability Analysis of Neural-Network Controlled Systems.

Chao Huang Jiameng Fan Wenchao Li Xin Chen Qi Zhu

Published in: ACM Trans. Embed. Comput. Syst. (2019)

Keyphrases

neural network
reachability analysis
distributed systems
model checking
genetic algorithm
knowledge representation
complex systems