ReachNN*: A Tool for Reachability Analysis of Neural-Network Controlled Systems.

Jiameng Fan Chao Huang Xin Chen Wenchao Li Qi Zhu

Published in: ATVA (2020)

Keyphrases

neural network
reachability analysis
management system
back propagation
machine learning
expert systems
distributed systems
random walk
complex systems