Efficient Formal Safety Analysis of Neural Networks.

Shiqi Wang Kexin Pei Justin Whitehouse Junfeng Yang Suman Jana

Published in: CoRR (2018)

Keyphrases

neural network
safety analysis
nuclear power plant
fuzzy logic
user modeling
cooperative
symbolic model checking