Safety-Critical Neural Networks