Efficient Formal Safety Analysis of Neural Networks.

Shiqi Wang Kexin Pei Justin Whitehouse Junfeng Yang Suman Jana

Published in: NeurIPS (2018)

Keyphrases

neural network
safety analysis
nuclear power plant
safety critical